I am still unclear on what the onion repositories are and what our choice is at this stage. Are we on amprolla3? Are debian's non onion addressed used automatically during upgrade or is it an illusion to see http://debian .... through while the update takes place?