A chrome extension that makes github issues filters 'sticky'