@safigo The file is static content generated using the C++ preprocessor during upload.
Some kind of simplicity that has become rare in these days of web bloat and AI slop. I like this simplicity. Even more as the info file can be parsed with one-liners:
info = dict(line.strip().split(":", maxsplit=1) for line in open("info"))
Why would one like to throw JSON on that?
@bagder brilliant, and I wish more projects did that, but might I POST a suggestion? :-)
Edit: forgive me: I should have read the thread first: https://github.com/curl/curl-www/pull/596