Thanks for reminding! Would anyone object if I enable JonCruz' docked
palette by default in new installs? Even though it's rather larger
than I'd want (i'd prefer it to be less tall), it would be a big boost
for newbie users.
As long as it's been found to be stable, I think that'd be a good idea
to do. If we find it has stability issues in the next few weeks of
testing, we can always flip it back off.