> Slightly OT: I wish people wouldn’t put such large license headers in source code.

There's an ongoing effort to fix this:

https://www.linuxfoundation.org/blog/2018/08/solving-license...