I installed the required apt packages in the README (and python3-pip) then ran pip3 install git+https://github.com/kattis/problemtools. And for some reason, pip still prompted me to add $HOME/.local/bin to my $PATH. as that is where pip installed the tools.
Is this an issue with my setup? Or is it a recent change to pip3's (default) behavior?
