docs: public static String computeHeaderId(String header) {
  		String id = header.replaceAll("[^a-zA-Z0-9]+", "-"); //$NON-NLS-1$ //$NON-NLS-2$
  		id = id.toLowerCase();
  		id = id.replaceFirst("^[^a-zA-Z0-9]+", ""); //$NON-NLS-1$ //$NON-NLS-2$
  		id = id.replaceFirst("[^a-zA-Z0-9]+$", ""); //$NON-NLS-1$ //$NON-NLS-2$
  		if (Strings.isEmpty(id)) {
  			return "section"; //$NON-NLS-1$
  		}
  		return id;
  	}