github-license-observer: A Firefox add-on to annotate GitHub repos w/ information about their license