Problems with Alfresco Share running on non-standard ports

There is almost no web application which does not want to listen on port 8080. Alfresco is one of them. But, sorry, on my machine the port is already taken!

So I had to move it to an anagram (I am running short of them!) and edited the file

$ALFRESCO_HOME/tomcat/conf/server.xml

replacing the string 8080 by 8800.

However, Alfresco Share refused to start. After trying to log in, I got a "Failed to Login" error followed by "The remote server may be unavailable or your authentication details have not been recognized". But my user/password was correct...

There was another obscure quirk to update in order that the port migration were effective: replacing every occurrence of the old port number in file

$ALFRESCO_HOME/tomcat/webapps/share/WEB-INF/classes/alfresco/webscript-framework-config.xml

After that, Alfresco Share was fully functional.