Totally in agreement. I'll give Linux another try on my rMBP to see if the HiDPI issues have been resolved yet. A quick search shows that MySQL Workbench still has issues:
https://bugs.mysql.com/bug.php?id=48867
If that's the only software I use that has problems I can probably deal with that though.