We’re very pleased to see that the Raspbian Debian distro is now being recommended for use on Raspberry Pis, partly because the project is hosted on a server we donated! To think that a Raspberry Pi has now been into space before this was even ready; imagine how much further it could have got with proper fixed-point optimisations and a better binary interface.

[waits for laughter - not a sausage]