Edwin Kofler

This is a fairly straightforward MR that replaces the use of outdated `test` flags and slightly improves quoting.

This updates the following: - Fixes miscellaneous spelling and styling - Github" to "GitHub" - Periods at end of statement (enforced by [awesome-lint](https://github.com/sindresorhus/awesome-lint)) - Uses the [recommended badges](https://github.com/sindresorhus/awesome/blob/main/awesome.md#awesome-badge) for awesome...

This adds [git-scripts](https://github.com/jwiegley/git-scripts) and [git-toolbelt](https://github.com/nvie/git-toolbelt).

This changes things so that: - Git hook managers are ordered by popularity - Added lefthook - Update description for pre-commit and husky

[tig](https://github.com/jonas/tig) is a very popular tool that all the cool kids use for interacting with git repositories with a familiar ncurses-based interface.

Improve the scripts to make them more resiliant to filepaths with whitespace characters (spaces, tabs, newlines). Before these changes, the shell would exit with a cryptic/mysterious message.

Run in non-browser environments

4

**Is your feature request related to a problem? Please describe.** I ran through the steps in [Language API](https://penrose.cs.cmu.edu/docs/ref/api#the-language-api), but it seems it requires a browser environment: ```console $ node index.js...

This updates the autoenv entry to use the lastest repository URL and description.

[git-scripts](https://github.com/jwiegley/git-scripts) is a good resource that contains many git-specific scripts that are useful.

These are links that haven't been updated in ~4 years old and: - Are not owned by a large organization (ex. Cloudflare) - Do not have a lot of stars...