Your link showed me that I travelled there, too, to upvote both the question and answer. But I have since forgotten I'd done so, and more importantly, that I'd known the solution. Several days ago, I needed the solution again, but somehow wasn't able to google the answer, so had to reinvent it - and decided to post about it as it seemed non-trivial.