Yes, that's exactly what happened. The reference in the article to the tool named Ghidra is the confirmation to your hunch.