SAT>IP: Add new options to the help text