I'm really excited about the Caravel release. The design we are working on is a motor controller for 3D printing/robotics. Somewhat straight forward state machine, timer, and some commutation logic. So far we are running formal verification in symbiyosys and testing on FPGA. For the skywater shuttle will we fork the repo and replace the user_proj_example?