mangOH Red prior to DV5 were pre-production boards. These configurations
haven't been tested or maintained in a long time, so it's better to
remove support for them so that users don't get the false impression
that they are supported.