I believe this is now fixed in the devel project, and there's not been any requests for an online update, so I'll close this.