jeremy@jermolene.com 3f478f5689 Naming tweak to #6047 ... @linonetwo I realised on review that we refer to boot.files as the "tiddler file info"		2023-03-05 17:40:04 +00:00
..
tiddlywiki	Naming tweak to #6047	2023-03-05 17:40:04 +00:00