Add specification docs to the todo