documented path etc. also figured out the reason of previous issue: coqide is not a great ide.