Merge "Use <pre> to format bash commands"