v-3ccb0523137ef91f956996eb915267f77ab79aa1

Automated build.

• 3ccb052 - Documentation effort and various polishing fixes (#140)
• a5b4356 - WebUI: force cell height when no results (#139)
• ce30f40 - Rename "token" to "worker" or "workerName" (#138)