I’ve manually deleted all the other themes on the box, so yes, I’m updating the correct theme. If I weren’t, deleting the index.php file in the theme folder wouldn’t have any effects.
I’ve done the changes both through the WordPress editor as well as through ssh+nano.