PRs already reviewed

Approved by Anki maintainer:

Make the Dropbox desktop client work again: