To teach F* we need good tutorials. Crypto tutorials have been a problem for a while, and with the switch to universes and other changes also the other tutorials have slipped. Issues in this milestone are meant to address this, withing the narrow focus of what can be done until the school.