Mention that some OS distributions provide MySQL packages