The files are still available in both 4K and 4K HDR versions, I still have them by default in Aerial if you miss them.