[VOTE] Retire Derby

[Rick Hillegas]

There being no further discussion of this topic on the developer and 
user lists, I call a vote. A simple majority carries this procedural 
question.

+1 = Derby should be retired
-1 = Derby should not be retired

The polls close at 5:00 pm San Francisco time on Friday 2025-10-10.