Quick question to the admins: Which PHP package do you use to talk to the database? Means: Do you use php-pdo? There is currently a pull request that would lay ground for eventually adding PostgreSQL support somewhere in the future. And I suggest that we then possibly support only PDO for both PostgreSQL and MariaDB, since this would simplify stuff a lot.