we can keep it like this for now, but we should ask the MiMa folks whether this is not something which can be auto-detected and not warned about (or whether our reasoning is unsound); @dotta?