Tool tip shortcuts missing.....

Dear Dorico Team,

Just a “heads up” in case it hasn’t been reported. For consistency purposes (though a minor issue), the “tool tip” when hovering for the Dotted Note tool does not show the shortcut “.”, nor does the one for the Selection Arrow.