Hot take: all government code should be open source.