The Royal Penguin is great (I have one), though not particularly small for a
subnotebook (13.38" x 9.75" x 0.84", according to my measurements).
Unfortunately, you missed it; Think Penguin[0] doesn't sell this model
anymore. I assume they are probably going to start selling a new
subnotebook/"ultrabook" model at some point; the question is when (maybe
Chris, Think Penguin's CEO, can answer that; he's a user of this forum).
Think Penguin is in general the best place to get new hardware; the store
makes a point of only selling hardware that works well with free software,
and if you go there via "libre.thinkpenguin.com" (as opposed to just
"thinkpenguin.com"), 25% of the profits get donated to Trisquel.
[0] http://libre.thinkpenguin.com
