By “popular demand”, I’ve moved mangos from bitbucket to github. Hopefully that will make it easier for folks to find it, and also to collaborate. (Everyone has github accounts these days, right?) https://github.com/gdamore/mangos <https://github.com/gdamore/mangos> I’ve left behind a link, but if someone would update the website to change the references to mangos to point at github, I’d be grateful. Thanks. - Garrett