[[!comment format=mdwn
 username="joey"
 subject="""comment 3"""
 date="2025-01-07T18:11:59Z"
 content="""
Indeed that is the same bug. And I've fixed it now, the next daily build
and release will have the fix.
"""]]
