Post-processing script to insert source.markdown filename into footer of HTML