Merge pull request #4512 from romainbrenguier/clean-up/goto-instrument-message

goto_instrument_parse_options is not a message

Author: tautschnig