After the change of ownership came to light, I had installed the extension from GitHub.