Add a TeXZilla.filterElement function to apply the stream filter to a DOM element.