AVID:Requests for Comment/The Jeff Question

What do we do about Jeff?
With DanteWilliams being banned, there's been an ongoing debate about what to donwith the Frog Mascot, Jeff. Much of the wiki and Discord server seems to be in favour of removing him, and as such, Inam making these three proposals. (Lets chat!) 23:17, 23 January 2023 (UTC)

1. Remove Jeff entirely
Completely remove Jeff as a mascot.

2. Replace Jeff with a new mascot
Create a new mascot to replace Jeff. Please do NOT place any proposed mascots here, they should be saved until after the rfc is closed.

3. Keep Jeff
Keep Jeff around.