Docs: add brief introduction and misc fixes