It's unused since 296cdd77
mentioned in commit 638c9c07
mentioned in merge request !50 (merged)
mentioned in commit 9ad47c43