So does Quartus Prime Pro - and for specific Agilex 5 devices it's also free. (Presumably it was too much trouble to backport support for Agilex to the Lite ver

So does Quartus Prime Pro - and for specific Agilex 5 devices it's also free. (Presumably it was too much trouble to backport support for Agilex to the Lite version.) There are also free Linux versions of Lattice Diamond, Gowin EDA and Efinix's Efinity software.