Today I learned of the existence of https://github.com/«username».keys.