removed TODO about renaming the repo (since it is now renamed)