set -o pipefail is a bashism that not all shells support. Notably, this fails with the default /bin/sh on GitHub Actions Linux runners
This removes mdBook in favor of a flat docs folder generating a single `README.md` in the repository root. Installation and usage instructions have also been expanded slightly.