This turned out (a) to be more straightforward than I thought and (b) to have some more serious consequences if left unfixed, so I fixed it. Bug 46395 has the details.
This turned out (a) to be more straightforward than I thought and (b) to have some more serious consequences if left unfixed, so I fixed it. Bug 46395 has the details.