I want to remove a few entries from the download history because some episodes of a series were truncated when they were recorded and I'd like them to be recorded again the next time they're repeated.

I'm running get_iplayer on a Raspberry Pi. Is this just a question of editing the file 'download_history' with, say, Nano and deleting the relevant lines? Is this the right way to do it? If so, is there anything I should watching out for?

TIA

Yes, just edit like any other text file. There will be multiple entries for a programme if you used to do a repeat download, so make sure all its entries are deleted.

Also remember to move or delete the original downloads so they don't block future downloads.