Coafos comments on CoafOS’s Shortform