Thanks all – I think I get that I’d have to edit things in the database, not the WP files.
I’ve tried just using the post slug as a permalink, but the navigation fails (and it says in the codex that a number should always be included in a permalink).
The codex has a partial explanation of what all the files are – here’s hoping some expert users can do more work on that!