Clean up Mindterm docs a bit