Update doc/srcexpl.txt for SrcExpl v5.3