Small tweaks, mostly out-of-date.
Remove various things moved to liballoc. Remove obsolete TODO.