usr/share/doc/coqide
usr/share/applnk/Development