No longer needed after 68c53794.
mentioned in commit 6b7fb019
mentioned in merge request !222 (merged)