yes, pull requests are welcome! Somebody already spotted and fixed a mistake in the build log.
Awesome! I'll take a look and see how I might help in some way.