https://digitalixy.com/tech/maude/366699/what-can-you-actually-run-on-linux/