Frege 3.21.232-g7b05453 and UI Changes