add zathura bookmarks
fix project discovery
remove non functional auto format
You can also use your local clone with git send-email.