The widget used to run Manticore, now with specific input UI elements for key options
and some sensible pre-filled defaults