4These can be enabled via the extra command option from the GUI as explained in section B.1.5.