#pattern filter=crypt diff=crypt docs/biblio/* filter=crypt diff=crypt docs/lectures/* filter=crypt diff=crypt