John R. Hogerhuis Fri, 09 Jul 2021 20:17:13 -0700
It's probably OK. You can upgrade mono if you want. But probably it is fine.
If it crashes it is not fine :-) -- John.