This

Explanation: I was planning to post something on that and somehow never got around to it. Meanwhile I also pushed the wrong button and a stub intended as a reminder to myself to write about it got published. I'd delete it except someone already commented.

On the other hand, I'd already posted on the same topic.