Question in comments of patch.

It seemed rather comfortable to use the edit facility to post a question.