I think an acceptable solution that doesn't change the syntax of <code> tags is to use a filename of the form $node_id . "_" . $index_of_code_tag.

That proposed filename can be sent with the appropriate Content-Disposition HTTP header.

That way no node author has to invent names, and when you save multiple code tags from one node you don't have to rename them manually to avoid name clashes.