I agree with your sentiment. Hence:
~ $ curl -s 'http://www.realworldtech.com/arm64/'{1..5}'/' --compressed > a.html; open a.html
("open" is OS X-specific; "nautilus-open" might have a similar function on Linux or something.) Interestingly, that website seems to deliver gzip-compressed output no matter what you request.