I've removed this option, as there's clear agreement that we want the "mixed" strings to only be in high-level.