retitle 202330 ITA: xzoom -- magnify part of X display, with fast updates thanks I'd take the maintenance. regards, junichi