HOA output: support the colored property
The HOA output procedure is already making one preliminary pass on all transitions, so it could detect at little cost whether
property: colored hold, and output it.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information