[olov]

Understandable - but it's pretty easy to do small modifications like that using Github's edit feature. Everything but the editing itself is pretty much hidden away.

[jerf]

Did not know that. Thanks!