Include copyright and stuff; change aargh to more normal one.