precursors.md: tweak formatting in zero.rs and GoFY