# Copied at build time by justfile for embedding
tools/
