[brennebeck]

Posted elsewhere in the thread: http://lucacardelli.name/indexArtifacts.html