Use distinct headings to not generate duplicate anchor links

Signed-off-by: Si Beaumont <simon.beaumont@citrix.com>