Maybe I am not looking at the right places but I can't find a manual that explains to me how to upgrade from 2.3.1 to 2.3.2. Is it just a matter of copying all the files from version 2.3.2 in to the excisting directoy? Or do I have to run something like install.php or something else?