/Foo/
/Foo.lean
