Make "overrides:" searches work, modulo the inheritance graph.
Fix silly bug in split_into_lines().