Add check-includes to check-local?
We now have a handy tool that lets us check our includes for modularity violations. We could make it part of "make check", and have our CI enforce it for us!
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information