Add \label to make better HTML filenames
1 file changed