The document library can be given a custom name which is already set for the demo site. All new sites will use "Document Library" unless the Site Manager changes that.
Thanks. Found the file that does contain that information. Should have posted that update.