In Docker image pip install in a local directory and the extension doesn't...

In Docker image pip install in a local directory and the extension doesn't work properly (it did on a local installation).

So this is an attempt to fix it.

docker/Dockerfile.xeus-cling

@@ -19,6 +19,7 @@ SHELL ["/bin/bash", "-c"]
 
 # Install the utility to handle citations
 RUN pip install jupyterlab-citation-manager
+ENV PATH="${PATH}:/home/${USER}/.local/bin"
 
 # The code to run when container is started:
 # Using informations from https://hub.docker.com/r/continuumio/miniconda3 and options used by Vicente in former Docker file based on Ubuntu.