docs: explain that `pip3 install -e` should be run after pulling.