Not personally, but Pine64 has proposed a device - https://forum.pine64.org/showthread.php?tid=11772 which shares the features of the device I envisioned in a previous comment.

It uses WiFi/LoRAWAN for communication and since it runs Linux Mainline kernel connecting a DVB-T dongle wouldn't be an issue.

But, they seem to have removed the external display capability through USB-C alt mode which would have been immensely useful in building a laptop dock with such a device.