Some scripts that have been instrumental in maintaining the Git repository and law database