why do we need this when __NOTOC__ exists?