Comment by manume

Thanks! Those three are not really coding agents though.