Probably best to wait for a PR to be sure. The way things go on this board, doing anything else opens pandora's box.