[ros-diffs] [peterw] 29698: - Renamed options.cmd -> rosbe-options.cmd.