<div dir="ltr"><div>In that respect, is it a good idea to start the servlet every time with<br><br>python build/build.py --w3cbranding all  <br><br>... in such a way as to make the servlet update itself in all possible ways on every startup, thus making the --local option forever redundant?<br>
<br></div></div>