@gylaz Nice. I didn't know about that. Done in 8ae8726.