A configuration editing tool written in Python