GitHub Account Hardening for Developers: Tokens, SSH Keys and Recovery Planning