just to test automatic redirects after renaming wiki pages