Couldn't add the extension because it was still a repo

Fixed now.