I don’t know how’s the pricing, but maybe it’s worth building a separate server with second-hand TPU. Used server CPUs and RAMs are apparently quite affordable in the US (assuming you live there) so maybe it’s the case for TPUs as well. And commercial GPUs/TPUs have more VRAM
Pardon my ignorance, is the default terminal that comes with my PopOS also a “terminal emulator” and Ghostty is a replacement for that?