Redesign two prompts for 314159 example + harden install.sh beaf169 Running cotyle-fix commited on Jun 5