[jjoonathan]

I am enormously happy that Ghidra exists and usually can be made to do the job, but it is still quite rough around the edges. Polished with 10 grit sandpaper, as the saying goes.