See: https://code.visualstudio.com/api/references/vscode-api#ProgressOptions
export interface ProgressOptions