This was done by Jakub Kuderski in the summer of 2016.
mentioned in commit b2860397
mentioned in commit c8e2a724
mentioned in commit d3c455b1