DanielB?And who thinks AWK's gonna try to come back under a new name? He did it on Wikipedia, apparently. Report