FWIW, we see more problems on Ubuntu than any of the other Linux distros.
If you want to tweak the messages to mention that the problem might be a missing -dev or -dbg package I'll consider a suitably simple patchthough.
pgadmin-hackers by date:
Соглашаюсь с условиями обработки персональных данных