It would be helpful if this forum would support quoting other posts, e.g. with an additional 'reply quotedt' button next to the 'reply' button we already have.

Otherwise it is rather tedious and error-prone to specify to which comment you are replying.

Martin