Today I learned that you can add suggestions directly when reviewing pull requests on GitHub.
Tunnel excavation involves lots of boring mathematics.