msdos.texi refers to the w32-(add|remove)-untranslated-filesystem functions by their obsolete, non w32- name.

OK to install this patch, or were the old names kept in the manual for some reason?