It is also possible that someone used a script, but the time distribution of the requests looks random. So, either the requests have been done manually or the script was very sophisticated (but I don’t see why someone should do so).