I'm installing Trac 1.4 on Ubuntu 18.04 and while there are instructions for using MySQL, the recommendation is to use PyMySQL. I'm not familiar with PyMySQL, but it seems like it serves to allow Python to interact with a MySQL server, so I still need to install the MySQL server and create a trac database and then use PyMySQL to interact with it. Are there installation instructions for configuring the Trac installation to use PyMySQL? What is the connection string since mysql://tracuser:password@localhost/trac isn't supported anymore?Thanks.