Bump version number to 3.01, and update the FAQ.