Removed now-obsolete information.