Hi Cristina!
In regards to the question:
Last thing, in the pageview archive there are three types of file: automated, spider and user. Am I right in understanding that "user" relates to pageviews operated by real persons, while "automated" and "spider" by programs (not sure about the difference between the two)?
Yes, "user" relates to pageviews operated by real people. "Spider" pageviews are those generated by self-declared bots, the ones that are identified as such in their UserAgent header (for instance web crawlers). "Automated" pageviews are those generated by bots that are not identified as such. They are labelled separately because we use different methods for labelling them: the spider pageviews are identified by parsing the UserAgent string, and the automated ones are identified with request pattern heuristics.
Hope this helps!