If you search for "9anime downloader" on Google, the top results are often sketchy .exe files from unknown developers.
Stream Video Downloader (or similar aggregator extensions) 9anime.to Video Downloader
