Point taken about "no harm to be done", but what is "good practice" from an electrician's point of view, or is the connection of an uneccessary earth conductor wholly a matter of individual professional discretion?
Regulation-wise, whilst there are obviously some situations in which earthing of metal items is
required, there are no regulations which forbid earthing when it is 'unnecessarey'.
In an ideal world, "professional discretion" would result in "good practice". Any thinking electrician ought to understand that introducing any 'unnecessarily earthed' touchable items into an environment introduces an additional (very small) unnecessary risk of electric shock - see below.
If, as in this case, the metal in question is essentially not touchable then, as has been said, it really does not matter at all (in relation to risk of electric shock) whether it is earthed or not.
I say that because there must surely be a potential risk if the earth conductor is energised from elsewhere within the circuit.
Whilst, as above, unnecessary earthing of touchable parts results in a (tiny) increase in risk of electric shock, as you have been told it's not for the reason you give. The whole point of earthing is that should the earth conductors become live, some protective device (MCB, RCBO or fuse) will be triggered to de-energise the circuit involved.
The actual reason for the (tiny) increase in risk is simply the fact that one can only get a significant electrical shock if one simultaneously touches something at high voltage (e.g. 230V) and something at much lower voltage (e.g. earth). It therefore follows that the less earthed things there are to touch there are in an environment, the lower the risk of shock - whilst not usually attainable in practice, the 'safest' house (in this respect) would be one in which there was nothing earthed that one could touch at all.
Kind Regards, John