Prettify shell server building docs.
	Sorry! `` looks awful in GitHub headers. Removed.