Yup! That’s where it goes.
You’ll still need to decompress the contents of the release file, and find the file in question to copy over. In fact it might even be a good idea to copy over everything, since it could potentially be newer and better optimised.
But hold on for about 20 minutes or so. I’m about to upload a new release of my custom build that is explicitly catered to newer users with a lot of the essentials emulators, fixes (such as this one) and optimisations pre done. It could save you a lot of time.
That said, if you want the satisfaction of doing things yourself, definitely continue to use the vanilla 0.5 OS.