Optimal approach to managing the value of `interned_strings_buffer`

I am quite confused by the design choice adopted in regard to the PHP configuration option interned_strings_buffer. Clearly, the value assigned, as the default, by many installations of PHP, is lower than the value preferred by Nextcloud. If the value is insufficiently great, then the the following is reported in the diagnostics: > PHP opcache: The PHP OPcache module is not properly configured. The OPcache interned strings buffer is nearly full. To assure that repeating strings can be effectively cached, it is recommended to apply "opcache.interned_strings_buffer" to your PHP configuration with a value higher than "8".. Generally, PHP configuration options may be set globally, for an entire installation of PHP, or they may be set for a local application directory, within a file named .user.ini. Naturally, Nextcloud should prefer that global changes be required only in cases that no alternative is feasible. Presently a .user.ini is provided in the applicati…