feat: automatic try? suggestions for empty by, unsolved goals, and sorry
#13830
+1,044
−183
try? suggestions for empty by, unsolved goals, and sorry
#13830