I propose that I
1) create a issue on github,
2) `sed -i` the relevant links,
3) create a PR on github,
4) come back to the mailing list.
This change would affect a few hundred files I guess.
A question remaining is this change would require a copyright-year-extension (to 2018), too.
An example header can be seen e.g. here
I'd be happy about quick feedback - do not know the culture here, yet.
Have fun
Felix