@dan "Actually, it is probably more economical to mark things that are NOT jokes, given current trends" → glad to see some things haven't changed…