Make some administrative doc changes (version, README, TODO)