If it's worth saying, but not worth its own post, even in Discussion, it goes here.
Now that I have read your answer, it seems obvious in retrospect. Very nice, thanks!
If it's worth saying, but not worth its own post, even in Discussion, it goes here.