Wikimedia has a similar head count as far as I know, and the CEO is paid significantly less, which is what we were talking about. Mozilla is in a really bad position right now, so that’s why people bring this up.