[cctalk] Re: RIP Fred Brooks (1931-2022)