Move OPTIONS_FILE into Info
Move OPTIONS_FILE into Info
Syntax; documentation; include Info