Within the PX4 source, where exactly is the version of MAVlink called out/editable?
Mavlink is included as a submodule here: https://github.com/PX4/Firmware/tree/master/mavlink/include/mavlink
This source is generated by travis-ci and the official mavlink repository. https://github.com/mavlink/mavlink