that is also in the Appendix…

Sort of -- targetless builds aren't mentioned, which is specifically why I think we need an option to disambiguate the RE environment when n > 1