Done, except updating my key. Did you sign it? Can you send me the signature?
I signed it. It is easier to just download it again using
gpg --recv-keys ID and it will fold-in new signatures automatically. Then you can export as ascii again to update the KEYS file. ....Roy