Update MacOS to Catalina or Mojave for least problems with Stan-based software?

So sorry for the hassle, that’s super annoying! I’m glad it’s working now.

I don’t know why that isn’t mentioned anywhere but it should be if it’s necessary.

Yeah I agree. The current instructions are not sufficient. Some of that is because unfortunately they are constantly evolving, but that’s not the whole story (edit: I mean we could be better organized about it). There’s just a lot of confusing and missing information. I am going to make it a priority to figure out how we can keep the instructions up to date and much clearer and I’m sorry again for the hassle.