On Sat, 3 Nov 2018, Simon Poole wrote:
I normally don't edit compressed files.
Yes, and?
Your argument would be perfectly valid (well if we forget that the entries have to be parsed)
Parsing throws away any nonmatching language, so runtime memory requirements wont change and I doubt that the parser time decrease due to removal of a few tags is relevant compared to a runtime user visible uneeded behaviour change.
if the URLs were stored in a separate file, as is, bloating a manually curated file, it is bonkers.
That's a source-code file! The software is not and should not be optimized for source code files. I opened the file with my editor a few seconds ago and loading time and scrolling time and any working time is not really measurable, so there is also no issue to fix here (unlike e.g. with the maps wiki, which was split into many subpage, as it became unmanageable at its time).
I don't think something is broken here, so it also needs no fix. Ciao -- http://www.dstoecker.eu/ (PGP key available)
