Submitting a pull request seems a good way to end the week. That's what I love about (some) projects on GitHub; instead of just ranting about bugs or out-of-sync documentation, you can fix the problem and send a pull request upstream. :-)

Committing code on Friday? I too like to live dangerously

They actually pulled the request and rebuilt the doc today, on a Saturday. That might have something to do with the maintainer being based in Scandinavia, where the weather is absolutely cr@p this time of year. Not much to do except maintaining projects or binge watching entire "Silicon Valley" seasons.