Isaac Lyman on Nostr: I grant that 12:00 as a default value is usually midnight, not noon, but the pun is ...