Follow up to #9957 - I missed that the globaltoc is hard-coded and the page needs to be removed there as well.