Installation instructions miss out a step

[Fastdruid]

On the software instructions it states to run ./rpi_docker_build.sh

If you follow the instructions exactly, this errors with

RPi:~/a314/Software $ ./rpi_docker_build.sh
docker: Got permission denied while trying to connect to the Docker daemon socket at unix:///var/run/docker.sock: Post "http://%2Fvar%2Frun%2Fdocker.sock/v1.24/containers/create": dial unix /var/run/docker.sock: connect: permission denied.
See 'docker run --help'.
FATAL ERROR: Couldn't open output file bin/spi-a314.dtbo: No such file or directory
chown: cannot access 'bin': No such file or directory

You need to log out and back in again to pick up the permissions that you granted in one of the previous steps ( sudo usermod -aG docker pi), once you have done this the build will then work.