Added the preprocessing script that adds numbers to headers.