Uploaded a new version to Extras-Devel (Easy Debian 0.9.47). This has the PR 1.2 keyboard workaround. Anyone tried it yet?
cp .xbindkeysrc.dist .xbindkeysrc