Comment by hoppp

All those things are optional.

Doesn't make uploading the keys that much better. Now is the time for key rotation everywhere. Fast.