src/core is ignored...