Eric Gustin 99ffc03348 Rename example servers (#675) ... We disallow spaces in the name		2025-11-12 10:21:25 -08:00
..
logging	Rename example servers (#675)	2025-11-12 10:21:25 -08:00