That ban actually happened about a year before the lyrics info box came into existence.