some more tuning of copyright
githubredir is deprecated