Bug#971778: [debian-mysql] Bug#971778: Bug#971778: mariadb-client-core-10.5: mariadb-embedded is missing

[argv minus one]

I looked over the documentation again, and found out that I can use
the --init-file option to run some SQL when the server starts up. This
does what I need, without using mariadb-embedded. Thanks!