Interesting! I guess everyone has different opinions on what is optimal.
I never noticed the matte lines when it was in the theater, but I was not looking for them. I do remember noticing Vader’s eyes showing through quite well, but don’t notice it as much with today’s digital versions. I think the brightness/color of the bulb might affect what was seen and to what degree. If the matte lines were always visible, I guess they could stay, but they weren’t intended to be seen. I would definitely keep Vader’s eyes being seen since removing them would be altering it. Matte lines are more debatable for me at least.