Use modern terminology: "encryption" instead of "encoder/decoder".

* index.html-top: Same.

* onetime (__doc__, usage): Do it.