The mappings documentation was initially kept in source/mappings/README.md . The build script expects it to be in source/md/mappings-header.md

We will keep mappings-header.md and replace the other file with a link to the live page on the built website.