The system in question is currently out of use (and reproducing the bug isn’t straightforward), so I’ll let this one expire.