Dorico 4.0.20 is out with improvements to the jump bar, a quick tool selector for the Key Editor, and easier synchronization in the Library Manager, among other fixes. On Mac, Quick Look and full Spotlight support is added.