Good news! The license conditions for Proof General will shortly be changed to the development release for us in the meantime and report any difficulties, to help make the next release of Proof General as robust as possible. Thanks!