Make the distinction between IRC commands and bot command even clearer