# URL to the file
	#
	# Can be refined in subtools.
	var file_url: nullable String = file is lazy, writable