[wolfgang42]

I know puns are considered the lowest form of humor, but I still appreciate the occasional bit of levity to lighten the mood in serious discussions.

[tomhow]

Gee sometimes it's hard to know what's going to be considered egregious vs whimsical by this community! I've taken off the penalties.

[xg15]

All good and sorry. I get that there is a risk of this board turning into Reddit if too many whimsy/joke comments are permitted. It would indeed be bad if that happened. I'll be more watchful with my posts in the future.