I love the idea here, but> nospectre_v2> + spectre_v2={option}> + spectre_v2_user={option}> + spectre_bhi={option}> this comes out as just a single line when I run make htmldocs.