When adding a widget to a Service Portal page (in other words, creating a widget instance), there is a field called "Additional options, JSON format".   Could someone point me in the direction of documentation for what options/attributes are availabl...