**/.DS_Store
_site
.sass-cache
.jekyll-cache
.jekyll-metadata
vendor
DafnyRefZ.md
