After a Mayfly workshop earlier this week, I helped 2 people install the IDE and Mayfly drivers on their Macs, using the latest Arduino IDE and by following the directions on this site, and it went smoothly with no issues. Are you just not seeing the EnviroDIY boards listed when you choose “Contributed”? If you’ve pasted the URL properly into the box on the IDE your preference tab, it should work.