The "Customize Public Pages" documentation section (https://gluu.org/docs/gluu-server/4.3/operation/custom-design/) is very detailed -- but seems to rely on you either using a standard (I guess, distributed) installation where you have direct access to all the configuration files, or some sort of Kubernetes install. Is the intent that users should be able to customize public pages within a Docker install?