I don't really think Lin has "proven" anything.
My main line-up issue is not about where Lin hits. Betts leading off is a concern, but to me, the biggest issue is Moreland staying in the 4 slot.
He's done a great job for us over the first 2 months, but he was never meant to bat 4th. Now that JBJ, Beni and HRam are doing better, I feel it's time to move Moreland down to 6th or 7th. Even 5th is better than 4th. He's playing hurt. I'm not "dissing" him, but others are hitting better than him now, and others have longer histories of success.
If we keep Betts 1st, I'd go with...
1) Betts
2) Pedey
3) Bogey
4) JBJ
5) HRam
6) Beni-Young
7) Moreland/Travis
8) Lin-Marrero
9) Vaz-Leon