Updating CONTENTS and TODO files.