Alternate proposal to !466 (closed) that puts the documentation a little deeper so it's read by developers and not users.
I decided to mention the flags in both the Makefile.coq.local and CONTRIBUTING.md. I'm open to dropping one of these (but not both).