Btw: @beat-github @loicgasser it would be good practice to handle all change requests with github issues (transparency, trackability, discussion).