I’ve got a database with postgis installed, but it doesn’t work anymore: I found other answers which suggested running ALTER EXTENSION postgis UPDATE;, so I did, but it has no effect: Does anybody have any idea on how to solve this? (I’m on Ubuntu 20.04 with Posrgresql version 12.3. and I recently upgraded from Ubuntu 19.10 to 20.04, which I