Le runner partagé sera indisponible toute la journée du mercredi 9 juillet.
Minor release, better cleanup, fixed some typos
