Paul Gibbs (@djpaul) would like to update the key used to access the proxy server.
(He’s also concerned he may have accidentally blocked himself trying to access it with a mismatched key. I’m not sure if that’s possible, but if it is, can he be unblocked?)
Here is his current public key:
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAACAQCvWuk2PUDVe3MroGL/mq9vmrCflIkvZHQ6rGe/03IqjDCTpqCdSrKy5UyksyiHZbPsw2zLjW50DMLdm31FpSfc3AJii4Bv7cUz1u5s1lp76uyl3HU+hVqto3d6/e58KOTPpRB0gYwm+ALa7Ce1OjFlJdS9HRlR058pL1urWmpfgGE+Hrll5mMO/b/53pX12dvNDkHf4sdsjIE4Ni094G0jDDZhs27Ak1V8LPlA2JlQXD7kdtcyA2vfJoScZOHC11o59VD7PQP7g1K0m3RDPfmANChRd69za2u2w08+8gqoyA+ana9Pxou4uELO4EPIHDbIXYJD5PT+LoYlS7q5eVvzOXm+vwDAv71mYQCW60PtERtydSPc+OwxMCNWGRME5gF0XSmMeLEMPuwNZHwHizMpJbcgVYKUD622GwCu6c8yP+8KFzoXzEI5QDLm/TTeHx2aLnSDWBeBJ7HrIxjADCbZavFltja0/sdul1XSGf26MRQKK6WQCvCtwgEbQSg15jD60cqh6lblVXl5c9Th30kqbzXBjM5FsWHtda18BQJdMPAVApgz3ENOcrHrRH16IvFi9x9TNhgPb6FnCrH+GKjvvBUEjsmvhD6D2U79qp+n+4nwrxZ+kBPA0Gp0cAa761yqozoyb3OHR8UxUXNMfewdCDfg9ngWSpFESnlsQKPBdQ==