On Thu, 2022-02-03 at 13:36 +0100, martin brinkmann wrote:
sorry, i should have done this myself, but i was not entirely sure whether this was a bug or i was doing something wrong...
No need to be sorry. More important is that you actually discovered the bug.
Roman