Improvements

- Talked about MAYO a little bit
- Pulled the current key size out of the source code
Stop getting rid of newlines. Fucks up the <pre> tags.

Added the expiry stuff to documentation.
More HTML improvements.
More documentation updates.