Remove previously deleted file (brought in by merge)
Use .md to benefit from github’s rendered diffs