I confirm that installing TW over WiFi works. Note that brokenmodules=hp_wmi is necessary only during installation. Not any more, after that.