Runtime WebSetings for extensions are now served on individual URLs to prevent cluttering.

2023-11-20, Edouard Tisserant