Install and load ProofGeneral
Don't spam my windows, dear Proof General
Don't run isabelle from bundle

Instead, recommend to install the binaries with isabelle install