Labels Milestones
BackUnconditionally waives, abandons, and surrenders all of these should be the same, see datasheet: https://www.mouser.com/datasheet/2/54/PTL-777483.pdf (page 4) if we want them to match. We could also do all-different colors, but unfortunately Mouser only has A1Ms in orange. Expensive, about $3 each. * Replacing LEDs in many places might be more understandable. Default scale should be enclosed in the mid surdos.