opam already queries these files with a special user-agent and it would be useful to know which opam versions are still used in the wild.