Move to ietf.org or work on a local copy ?

[evyncke]

Martin

Good idea to get this kind of statistics (unsure though what would be their use but interesting).

How about having an option to rsync the mirror and work on the mirror ?

-éric

As it stands, everything is downloaded at most once, so I'm not sure there's added value -- unless you are going to run multiple queries on the data.

This would be an interesting add-on, though.

[larseggert]

I was going to suggest rsync as well: https://www.rfc-editor.org/retrieve/rsync/