gpointing-device-settings
moved PostgreSQL back into Platform
added wxMaxima issue #187