I am using a Lenovo USB-C / USB-A docking station and it has DisplayPorts, which means it loads DisplayLink when connecting to Linux.

Follow the Arch wiki to install the right packages (section 1.2)

Arch Wiki DisplayLink

When you have to create the following file:

/etc/X11/xorg.conf.d/20-evdi.conf

Section "OutputClass"
    Identifier "DisplayLink"
    MatchDriver "evdi"
    Driver "modesetting"
    Option "AccelMethod" "none"
EndSection

Don’t name it “20-evdi.conf” but “evdidevice.conf”. For some reason this works ¯\_(ツ)_/¯

NOTE: The Arch wiki says: Both the HDMI port and DisplayPort outputs created when using either a USB-C adapter or Thunderbolt dock are wired to the Nvidia dGPU.

(link)