Practical /dev/TCP in the HTTPS Era