Add new comment

Yes, I would. I was on my way to write a such a thing, but then decided at the last moment that I’d save myself the hassle and just write a short comparatively low effort comment instead. But now your prompt might serve me as enough encouragement to do it.