Great to read that vector toolbar icons and Gtk3 are on their radar screen. HiDPI devices have been rolling out for 3+ years, so I hope the fixes get in soon.