[Toolhub-dev] 2020-12-04 weekly Toolhub update