See Feature request: automatically generated ids for headers - #5 by zwol for the discussion about this feature