Remove (probably) obsolete comment
Uncomment another MIRA4 de novo test