[Japo]

Dunno, I guess that if someone wanted to make the manual appear as Abandonia's he would have edited the PDF to erase the mention to HOTU. Someone scanned and uploaded it there, then someone downloaded it from there and uploaded it here, and the mention remains to remember that we all have it thanks to HOTU. On the other hand the property belongs neither to HOTU nor Abandonia, but to Microprose --or whoever has its assets now.

My two cents though, I don't know about formalities in the world of Abandonware. But I bet that it's not the first time it happens and that Miss HOTU doesn't mind --at least as long as the mention isn't erased.