<@Jon^D> I used to pop on IRC at 13:37 for the pure novelty of
it
<@Jon^D> and I'm not a loser