ApplicationXtender 16.6 pro tip: how to set user options for applications