Many thanks, much appreciated !Has this been reported on GitHub so it is seen by the right engineers? I pass it on now I have seen it anyway.
Are you telling us between the lines that it's useless to report bugs on this forum ?
Statistics: Posted by dwam — Tue Nov 25, 2025 8:06 am