A much more convenient way to download GitHub release binaries on the command line, works on Win & Unix-like systems
SITE: https://github.com/beetcb/ghdl