We run OpenKM Comunity Edition in a Docker Container with the official OpenKM Image: https://hub.docker.com/r/openkm/openkm/ Since the Community Edition lacks a migration tool for automatic database migration during version upgrades, we are considering switching to the Professional Edition. So I hav...