No matches were found for subject:"\[isabelle\-dev\] Can I request an improvement to the error for Duplicate session"