@rentzsch The weirdest part about that is you can end up with two seemingly identical app names in /Applications, if you have v3 and v4.