Fred wrote:

Most likely it's the key itself that doesn't work anymore
if it doesn't work on a different system too.

Thanks. I suppose I must have other software which allows the function keys
to be reassigned: I'll check.