Update extension

(update detected by update.sh)
Update catalog

(update detected by update.sh)