@Christoph. Thanks for your creative question, but modules and plugins are designed to work by rendering every time. To have the search work, I will have to create a Search Plugin that specifically pre-renders the article content, and searches the resulting HTML for the file name.