Fix: Pluto is not the first web server in Coq