Special:EditPage/Template:Nlab/testcases