Update after the 0.6.2 release.
Updating the TODO "short-list".
Minor updates to the man page.
Tagging for release 0.6.2.
Update for release 0.6.2.
Do not print vaddr_mask warning, for now.
Release checklist update.
Some more minor TODO updates.
The old Linux malta kernel is no longer there.
Updating the TODO.
