I just had the idea that the lack of wildcard support in the default Windows shell could be worked-around using Python's own means. Could someone who has access to a Windows machine please try whether the Windows installation instructions  work when the command
pip3 install --no-deps *.whl
is replaced by
python3 -c "import pip, glob; pip.main(['install', '--no-deps'] + glob.glob('*.whl'))"