I'm thinking -- should we change this if/when we start including other NGINX products. (Probably a new issue to link to others) _Originally posted by @mjang in https://github.com/nginx/documentation/pull/633#discussion_r2116083641_