I think this was done, wasn't it?
I have no idea.
Wontfixing for now. We can revisit in the future if there is demand.
Status: NEW → RESOLVED
Last Resolved: 6 months ago
Resolution: --- → WONTFIX
You need to log in before you can comment on or make changes to this bug.