All User default settings related to the extensions.

Manage your script that will be executed during start up and installed extensions.

Install RoboFont as a shell command.

read more: Extensions