Pfadangaben auf github geändert, damit es auch HTTPS hat und damit greasemonkey selbstständig updates machen kann.