just adding some doc notes here for reference - about renaming media player filenames (WDTV)