How to edit HTML returned by GET requests to admin interface

I have an instance of Node-RED running on AWS Elastic Beanstalk.

It's working fine, but I've run into a funny wrinkle : when moving the admin interface to a non-root location (say, /red), the EB health monitor shows the ap's health status as degraded (because, I think, it's only looking at the root directory - I have a support case open with them to see about this, but meanwhile have found no way to change this) --

So, what I'd like to know how to do, is for security reasons (to obscure the identity of the running app) to change/edit the HTML served from a GET to the admin interface directory (as shown in the snippet below), in the event that I need to leave it at the root.
I figure there must be a place to edit this, but I didn't find it in settings.js .

All guidance will be much appreciated!
-Nicholas

//
HTML returned from GET to root dir, that I wish to change / anonymize, below:

<!-- Copyright JS Foundation and other contributors, http://js.foundation

Licensed under the Apache License, Version 2.0 (the "License");
you may not use this file except in compliance with the License.
You may obtain a copy of the License at

http://www.apache.org/licenses/LICENSE-2.0

Unless required by applicable law or agreed to in writing, software
distributed under the License is distributed on an "AS IS" BASIS,
WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
See the License for the specific language governing permissions and
limitations under the License.
-->

Node-RED
**strong text**

You may wish to re-read the comments in the settings.js file as there is a clearly marked setting that will move the Editor to a different URL. Something like adminRoot? I can never remember without looking it up.

Also, please wrap code/logs in backticks so that it is readable.