@clement I think I removed it everywhere. Don't hesitate if you see something weird
Closes #631 (closed)