doc: Make double-dashes look like double-dashes.