User:Donotreply

From the wonderful RedGuides Wiki

Performs bot duties on the wiki, hopefully.

One fun script to run is here, https://github.com/RedGuides/WikiForo/blob/main/lowercaseredirect.py

it redirects lowercase pages to the correct case.