@User Yeah, I saw that - I've made a PR to the list - but it wouldn't let me reply to you (guess I'm a newbie here with no permissions!)