[docs] Download 3rd party embeds to local files#17611

tqchen merged 1 commit intoapache:mainapache/tvm:mainfrom

Hzfengsy:doc_cross_refHzfengsy/tvm:doc_cross_refCopy head branch name to clipboard