http://pierovggsterf4w5xplynqtl56srftc242l3g2xloqlty6nv7372xuyd.onion
To my surprise, the WiFi worked immediately without installing anything! However, I must say I already had the firmware-realtek package, as my Ethernet card was also made by Realtek. Even the hotspot functionality worked. So, no more git cloning, DKMS, etc 🎉. For Bluetooth, I was not as lucky.