Just add the appropriate container extension ( .mkv or .mp4 ) when saving the file.
If you meant you need the full release name for searching or labeling (without assuming a file extension), it's: The.White.Lotus.S01E01.720p.WEB.x265-MiNX-TGx-