Further refinements, <>all broken

Changed appearance, added a couple of debug commands, added credits to
us, tried to make <>all into buttons but now they don't work.