NOTABUG: Install notes to include INNODB optimisation if using mysql

[rm-td]

Hello,
patchman installed on Debian13 with mariadb backend. InnoDB is default database engine but configured with extremely safe defaults.

On My platform with My VM configuration, eg memory, disk (and backup!) I have tested some optimisation of InnoDB with some values known to improve performance; 3 of note in a config file absolutely supercharges patchman loading of data into mysql when pulling eg package metadata.

[mysqld]
innodb_flush_log_at_trx_commit = 2
innodb_log_file_size = 512M
innodb_buffer_pool_size = 1G

Maybe, somebody who elects to use mysql would know the inherent risk/benefit from changing from defaults.
For sure there will be other settings and somebody better than me may suggest, but as the notes include configuration for mysql as a backend, I wonder whether its worth a nod to optimisation? It makes a huge difference on timings of data loads.
Do close if disagree, only an improvement possibilty. Thank you for patchman.