Improving documentation for glpk-cut-log switch.