Reformatted with BlueGriffon: unix linefeed, no-wrap, no-indent.