Moving multiple marker uses Shift, not Ctrl

Not sure if the problem is in the doc or in the code.
Using Ardour 4.7 on Fedora 23 (installed via the Fedora RPM)
To move multiple markers, I have to Shift select them.
It is consistent with the overall keyboard feature: http://manual.ardour.org/ardours-interface/basic-gui-operations/selection-techniques/

But the documentation states that Ctrl-clic should be used:

  • http://manual.ardour.org/working-with-markers/moving-markers/
  • https://community.ardour.org/manual/moving_markers

Ok, I was not 100% sure about going directly to bug report, but here it is.
http://tracker.ardour.org/view.php?id=6909

Bug reports belong at http://tracker.ardour.org/

Reports in the forum will generally be forgotten. I apologize that you need a separate account there.