./15789 : je viens de tomber sur cet article.
TL;DR : le programme s'appelait initialement Sherlock, mais ils l'ont renommé ensuite parce qu'il y en avait déjà un autre qui portait ce nom.