2023-09-23 - tools.admin
08:28	<taavi>	update updatetools.py to gracefully handle NotADirectoryError	[tools.admin]