all he addded to the post was
"The money from the registrations is mostly used to keep the web site, registration server and other support infrastructure running. It is also used to obtain hardware for potential future ports.
Any claims that I would somehow get financial benefit from this is clearly nonsense."
To clarify where the money goes and to back up that he does not get any of it