refresh-extensions

name	refresh-extensions
description	Refresh the pre-installed extensions table in README when `extensions.sh` is updated.

Updating list of pre-installed extensions

In the README.md, keep up-to-date the table from section ## Pre-installed extensions. This table is built from the list of installed extensions in extensions.sh.