Ok, we've derailed this thread too much, reason why this will be my last reply here. To address your two points:
https://notch.tumblr.com/post/11518566613/happy-birthday-us -> second paragraph
As a pop term, by "indie" people usually understand "garage studio" instead of "not funded by a publisher". I mean, using the second definition, the term "professional studio" doesn't make any sense as being the opposite of "indie".