I think we can let go 2.23 as is, see Makefiles and compiler flag `-DSTAN_THREADS` - always on?
My opinion. Others?