This file is empty - a place-holder in case a file will be uploaded subsequently.