Some days, Stack Exchange just has exactly what one needs. (If one needs to start adding .gpg repo keys the new safer way, and doesn't really know what they're doing...)