A domain name and nothing else, aiui.
Almost as much or as little as I (don't) know, and you came to exactly same conclusions as I.
Also not really relevant that usage of the non-distributabe stuff for autobuilder (if there even exists such stuff, which I doubt) is not revokable.
HiFo signs a contract that appreciates such obligation.
When HiFo would sign a contract that includes an obligation to remove certain subfora from TMO
I wish HiFo board would understand that community needs to know what HiFo tries to achieve and plans to sign regarding Nokia.