Evolving readme-driven development with rigour · HackerTrans