[ET Trac] #1039: Web-based documentation should be automatically updated