Revert "Enable and use the Debian jessie-proposed-updates APT repository, anticipating on the Jessie 8.4 point-release." This reverts commit ec69ba3c. Jessie 8.4 has been released. Fix-committed: #11232