Can anyone remind me the name of the Firefox extension that makes it easy to identify which GitHub repos have been vibecoded?