Repair the GitHub Settings Dhall projects were configuring GitHub Pages via Settings, which isn’t possible yet and broke all settings. This also adds a Project Manager badge to the README.
| Time to Start | Worker time | Duration | Time to finish | |
| Config | 0s | 1s | 1s | 2s |
| Eval | 3s | 6s | 6s | 9s |
| Build | 10s | 1m54s | 1m59s | 2m10s |
| Suite | 0s | 2m03s | 2m09s | 2m10s |