Web developmentDeepSeek Code Block DownloaderCodeMixAdds a download button to DeepSeek code blocks to download the code with the correct file extension.