Represents the current values of the extension's settings.

interface Options {}