Use the filename as the id of the `pre` tag