jacquesthibs comments on Results from a survey on tool use and workflows in alignment research