I think a more correct place to look at would be the gTLD Applicant Guidebook[1][2], section "2.2.1.2.1 Reserved Names", which I guess should be updated to now include "INTERNAL".
Though that list apparently includes all reserved names, not only those reserved for non-public use.