User rename log

This is a log of changes to user names.

• 11:59, 2 September 2022 (username removed) (log details removed) (edit summary removed)
• 11:20, 2 September 2022 (username removed) (log details removed) (edit summary removed)