Spec titling for MySQL version under test