I am getting quite a few Isabelle/jEdit crashes (with core dumps), at least one a day. Is there any point filing bug reports? The website for this looked a bit formidable. Larry