I recognize that many other pages use this, we're trying to use 'console' instead of 'bash' for things that are interactively typed.