Revert "A few more comments on what to do"

This reverts commit e4eed4153bd237a2dd4532fc3f40ce0e22fd0cb7.