Thank you @nsoranzo!

Speaking of master branch, any chance we change the default branch for this repo #1342 ?

Yes, I think we should!

I'd do it, but I don't have admin rights on this repo :)
Unless you'd like to have also @jmchilton's approval?

I can rename the repo default branch, but there's a lot of link updating to do, no ?

I think most of the stuff should continue to work as GitHub automatic redirects links, but there's only one way to know :D
One think that we would need to update (but I also don't have access to) is https://readthedocs.org/projects/planemo/

First thing after GCC is done ? 😆

First thing after GCC is done ? laughing

Works for me, thanks!