manual: Add short option example.