Tools from the former TechShop are moving to Protohaven, a.k.a the maker space created when TechShop closed