I searched around but can't find the repository which is by standard pointing to http://archive.raspberrypi.org as an onion service (Tor hidden service webpage). Quite some other repos do have such a mirror nowadays - is there one for archive.raspberrypi.org or (if not) are there any plans for it?
Pointing to an onion site instead of simple, plain http adds a substantial layer of security and above this also provides a great way of learing and education on how the onion network works and is to be used efficiently.
