Mentions légales du service
Currently, only the WhyML instance has Makefile rules and release instructions.