Show explanation for OPTIONS in online help.

Just a trivial pull request to get started with it.