Relicensed, reformatted.