DOC TRIV
BUGFIX: Make autman run options have distinct numbers

Redundancy was such that the `-ss` switch, which is not implemented yet,
would have the same effect as `-P`.