Remove dedicated flag setting elements in favour of setproverflag.  Restore displayconfig response in askpgip.
Remove dedicated flag setting elements in favour of setproverflag.  Restore displayconfig response in askpgip.

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle