Thanks, I had some HiDPI trouble when I tried it previously but apparently I misconfigured some fonts so it works now. Pretty close to what I'm looking for. It's a shame that it hasn't seen that much work.