A request has been made that each instance of "Linux" in the FAQ be replaced with "GNU/Linux". I'm not inclined to make this change. However, in order to make sure that the FAQ reflects the community's wishes, I'm submitting the proposal here for community feedback. If anyone has strong feelings on it one way or another, chime in.