Yeah when I was investigating the F4 versions, it seems focussing is the only drawback people have issues with, but it’s a big issue. With the focuser and software to automate it, that would seem to nullify the f4 arguments, unless there’s more problems with them that I haven’t come across yet. Of course that assumes the software does a good job too.
Now if only they could get software and hardware to automate collimation of RC scopes, I’d be in nirvana with a wide newt and a long RC
