This is needed for completeness
Already implemented in update_scripts branch. I'll close the issue after merging with master.
closed
mentioned in merge request !225 (merged)