Hi! thanks for the article! The link you provide to download the miner doesn't work, and the "alloy project" page on github is totally empty (no repository). Is the project dead?