I have created a pull request with a fix. It was not quite as trivial as I thought, but I think it should work now.
Statistics: Posted by TobyLobster — Tue Jan 07, 2025 3:21 pm