Update extension

(update detected by update.sh)