Thread:Rappy/@comment-44018448-20200104043505/@comment-38078079-20200106065853

If he's retired, tell him to demote himself and wait for him to do that (he's still logging on, just not as much as you'd like, and he could be active on other wikis or logging in generally, so he could still see your message).

If not, ask the community for his removal as outlined.

If not, wait for him to be inactive for a year and ask Fandom due to his inactivity.

Nothing more to be said. Fandom won't just denote him as you asked, because you consider him inactive and he's made a blog post about stepping down. They'll likely just tell you exactly what's been said in this thread. Robin is an admin: listen to them.