After banging my head against the desk for a while this morning, I worked out that the reason I could edit a page as the admin user, but not a "editor" user I had set up, was that I hadn't allowed my editor user to use the "full HTML" input format, which had been used when the page was created (by the admin user). Enabling this input format for all users opened up the content to be editable how I needed it.