My best guess is that it becomes a client-side include, making it easier to change one file and propagate out to all the pages without any server-side processin

My best guess is that it becomes a client-side include, making it easier to change one file and propagate out to all the pages without any server-side processing. Seems a bit silly for so small a thing, though.