Interesting. I never paid attention to this. I think it makes sense to use 4-2-stable here, but the release notes for the previous few versions all point to master. @zzak @senny @rafaelfranca @fxn?

But we can do this change after we merge since this has been a problem (or not) for a while now.