Thank you very much for all the replies!
I've just realised there should be another factor involved in the choice, the existence and location of Right Alt (AltGr). Also a trackpoint/clit/nub/stick would be a plus, but I do realize these are extremely rare. As for Ctrl+Alt+F# on my main machines I use it mainly for emergencies, I like my gnome-panel too much

Here are some thoughts on the keyboards you suggested and some others:
Poker - seems pretty good to me, especially at this price, but I've missed the European (deskthority) order by 3 days. I could order from Hong Kong, but this may be a bit too risky. It also lacks the Right Alt (Gr), which I should use quite a lot. I could try remapping with Left Ctrl, but that would be much different
Choc - does have the AltGr quite right, but otherwise seems inferior to Poker for my needs. Especially that easily findable Switch Lock - how often are you going to press it? Pause|Break I can at least bind to something.
DE HHKBKillah - Could be good if it really feels right. AltGr in a good location, closer to M. However, it misses the Right Super (I use quite a lot of custom bindings) and, what's worse, PgDn and co. seem unpressable when the other hand is on the mouse
Apple mini - I like the idea, but the full size aluminums at the uni seem too mushy for me, worse than my unbranded Compal laptop. Also, I'd prefer something darker, I'm wondering if the keys like dyeing

HHKB - if it doesn't have tactile feedback, that could be a bit of a problem. Also, if the new version is really coming this year... Or is it just Ripster's jokes+hopes?

Filco Tenkeyless brown - with HHKB being less tactile this gains an advantage. The layout is a bit too standard, but some remapping could help a lot. Over twice the price of all the others (exl.HHKB), though. A bit heavy for taking to work on a bike daily

G84-4100 - I would buy a brand new one, but if even they are likely to be too sticky to be used as the main keyboard, I'd probably rather get something better. Has great AltGr placement, also two Supers are a plus to me
Lenovo with TrackPoint - (
here on amazon uk) good layout (huge Esc!), trackpoint, but allegedly the quality isn't great
Samsung Q1 Keyboard - wow, just found it. And it's even still available in the UK. If the switches are OK, this is likely to be great. Good layout and a trackpoint! Almost a scissored miniguru

The Esc is small, but I could probably swap it with the tilde (which is next to the space bar here)
This review says it's nearly full size and he reaches 89wpm on it. I'm wondering how the switches compare to the Cherry MLs. Has anyone here used it?