Reformatting code would be awesome, especially for larger files (e.g. math.mmt MitM/Foundation). Could we eventually use the MMT syntax presenter for this?