phew, i think i figured out how to successfully upgrade the db server, so will probably update botsin.space next week sometime, details to follow