I asked some of the users of the #grubski tag before posting. Permission granted, although I fear that I've lowered the bar.

(Yet another reason why I need an alternate user name.)