I’ve neglected the site for a while. That will change, starting now.
Raspberry org dropped the bomb 2 days ago, it’s called the Raspberry Pi Zero. I have ordered one immediately. The price indeed is 4 pounds sterling! (Including cable set (required only for the my first one) and shipping to the Netherlands, it cost me 19 Eur).
Start of the real computer revolution? Maybe. Computers sure are coming down in size.