Hi, Florian Weimer wrote: > Package: coqide > Version: 8.0pl3-2 > > The menu entry Help/Browse Coq Manual tries to invoke "netscape", > instead of some installed web browser. It should probably use > "www-browser" (but please check the relevant policy first). Yes, I recently noticed this and I've changed that in the package of coq which is in experimental. It should be corrected in the next upload of coq. Thanks for reporting this. Cheers, Samuel.