User's Guide: "#" in filesystems names is bad