Extension talk:DummyFandoomMainpageTags

Request: Can someone rename this extension to 'DummyFandomMainpageTags'?
I feel like there is a mistake in the name of the extension. 'Fandom' has two O's in the extension name. 2A02:C7C:BD2C:B500:2144:4E47:6116:66E8 08:46, 11 March 2023 (UTC)