Moving the default mysql version for new workspaces?

workspace
mysql
education

#1

This request is about the default version of mysql for new work spaces. I understand how to upgrade mysql manually, and I have done so, but that seems to result in a lot of space being used.

Are there any reasons/issues why the default version/configuration of mysql cannot be moved forward for new work spaces, to a recent stable release such as 5.7?

This is concerning work being done in an education account where space can be a limiting factor.