What ever happened to pgadmin3? Why did development stop on it? It was definitely a beast, with a lot of weirdness to it, and some minor pain points, but it was good. It was lightweight resource wise.