Updates to the documentation, KEYS file obsoleted.