Recent Releases of formal-languages-and-automata-theory