Our documentation is currently in a transition to a new system, with some revisions while transferring. The revised Pymavlink docs should make this kind of thing more obvious, but the general ArduSub and BlueOS documentation are higher priority so are being completed first.