Did you find https://www.pantsbuild.org/options.html 'Basic vs. Advanced Options'? That seems both like the right place and the right words to me.

ooh, that's embarrassing. thank you very much!