Ignore does now not apply to any file in main #547

Hope this is the right approach.