@cstross@wandering.shop Jokes, in case you've missed it (and apparently you have), are supposed to be funny.