Mentions légales du service
This prevents having valid proof attempt under detached goals in the IDE.