These files aren't currently used in the webpage, but are kept around in case they're needed in the future.
