red75prime comments on Dave Kasten’s AGI-by-2027 vignette