Arranging the comments on future coverage management.

This change is a no-op, just to keep the notes in there and the repo up-to-date commits-wise. @flipoutbrian, please pull it if you are working with the Makefile as well.

Thanks!
Dima