2020-01-23 - codesearch
01:59	<legoktm>	shutting down old codesearch4 instance (but not deleting yet)	[codesearch]