Cool, sounds like it's not worth changing then. I would recommend making a note of it in the docs, but...