@neojski Didn't know that, post-#1493 I'll be happy to change this.