Look in the `caravel/lef` directory ... and I'd be...
# caravel
t
Look in the
caravel/lef
directory ... and I'd bet you'll see
user_project_example.lef
is massive.