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.

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.

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.