Colorado HB 25-1143: Open-Source Software in Voting Systems | StateThat