The file will be detected and automatically installed whenever the
Ciao Playground is upgraded.