This article was first posted in 2021 and has not been edited since. Inflation has been considerable in that time.