One change is that I fixed a funny behaviour of the publish button, which sometimes ended up not going away or showing up at strange places.