documentation & MySql file name changed