document "Require trailing zeroes?" option for numberentry part
Merge branch 'master' of github.com:numbas/editor-docs