Tech aspects of Boulder utility municipalization