Updated list of possible improvements for WolframAutomata.