“I’ve never heard of an optional mitzva”
R’ Moshe held that it was an optional mitzvah. But those who disagreed with him make your point, that we’ve never heard of an optional mitzvah.
By the way, does anyone know why hebrewbooks is missing chelek 3 of the Igros Moshe?