doc: regular updates (mid Jan)#915

Merged

jorgeorpinel merged 25 commits intomasterfrom

Jan 19, 2020

Commits on Jan 9, 2020

web: simplify query and hash removal from path for docs engine
jorgeorpinel
committed
cmd ref: improve `path` description in get and import
jorgeorpinel
committed

Commits on Jan 13, 2020

user-guide: remove unnecessary note from core contrib guide
jorgeorpinel
committed
cmd ref: review language around term "effect" (conditional applicability of options)
jorgeorpinel
committed

Commits on Jan 15, 2020

Merge branch 'master' into jorgeorpinel and
jorgeorpinel
committed

Commits on Jan 18, 2020