[tlmgr] Unknown docfile tag