Document how to use your own MySQL server