Prettify IRC docs.
	Clarify distinction between IRC and shell servers.