Why is this file duplicated in `docs/` ?