This Grin forum post is also relevant to Aeternity miners:
https://www.grin-forum.org/t/request-for-all-miner-devs