## yosys
-Follow the source code (git clone) instructions here:
+Follow the source code (git clone) instructions here, do **not** use
+the "stable" version (do not download the tarball):
<http://www.clifford.at/yosys/download.html>
Or, alternatively, use the