There is actually a menu in SmileBASIC itself for the public keys.