Success: devel/sourcenav v4.4,1
devel/sourcenav: fix (issue 51)