It’s very possible I used php. But you’ve already done enough to warrant a bug report. Seems clear to me. To make sure it gets visibility, I’d create a new topic in the bug category, give a few details, and paste a link to this thread. Thanks for supporting the cause!