Updating later: download again, unzip over the same folder, then press the reload arrow on the extension's card.