It's hard for me to understand why practical results by relatively weak players should be given such high regard; you overlook the obvious---
13.Ba3 & Black can't castle! Black is left with a position where he is a pawn down and his position looks like Swiss cheese!
Relatively weak players? At the time the two games mentioned where played Micheil Van Wissen was 2313, Spike Ernst 2555, John Van der Wiel 2493 and Spike Ernst again was 2521. So, it is interesting that players between 2313 and 2555 are considered relatively weak. My question would be relative to what? Maybe Lev Alburt? His rating as of January 2014 was 2539. So I guess he is relatively weak as well? Maybe relative to...you? According to the USCF website a one Richard Moody Jr goes out at 1697....
White can just settle into an endgame with an extra pawn so your comments about reinventing the wheel is that Deep Fritz 14
doesn't choose the lines you mention because they LOSE.