Now updated to support all the dropdown boxes on github’s site, which produces too many labels in quite a few places, but does help hugely on github and has given additional useful links in a bunch of other places too so I think it’s mostly a win.