Tweak publish-with-gitbook.*