[Toolhub-dev] 2020-10-02 weekly Toolhub update