PFL manual: improve the way we present the solver options