What should we do with Derpface2227?

The poll was created at 14:50 on July 15, 2019, and so far 28 people voted.
Only count the first 20 votes (if it's a 10-10 tie, the first 25 votes). Voting over! The voting was 9-15; he will still be a bureaucrat.

Note: I will post another poll in September if he's still inactive.

Community content is available under CC-BY-SA unless otherwise noted.