If you’ve ever embedded a PDF file or other downloadable file in WordPress posts or pages using the standard “Add Media” button, you probably know what a pain it can be if and when — but most likely when — that file needs to be updated.
You can’t just upload the newly updated file to the Media Library and expect “voila” to happen.
Even if the updated file has the same filename as the original, WordPress will rename it on upload rather than replace the old one with the new one. (I’ve tried a plugin that offers this replacement functionality, but it wasn’t user-friendly and fell short in other ways.)
So I made my own plugin.