Welcome to the ERIC Demo Server. Use /eric/query for bot commands.