Migrate MySQL file to RST