Name of the Pipfile is currently hardcoded in the extension.
This could come from an environment variable (see here https://github.com/pypa/pipenv/blob/5f48233637adc99bb16e6c601a728dc641bd5cd2/pipenv/environments.py#L29)

TODO: Confirm this is the case and create necessary PR accordingly.