I forgot how slow raspberry pis are. I booted one up for the first time in years.