Is there any official support of changing pubkeys yet? Or just mark the old one deleted? Thinking of switching over to the one I mined recently.