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