[#8], [#7]: rename download_plugin and download_theme