Thanks; we do this elsewhere too, and it's only temporary by its nature. While we're waiting, I suggest we merge this anyway.