Make Docs course clone migration work for legacy Docs

See #846