No matches were found for subject:"\[PG\-devel\] kill windows showing response and goals buffers on proof\-shell\-exit"