[Toolhub-dev] 2020-11-06 weekly Toolhub update