Shouldn't sourcenav (which has been dead for years) be replaced by sourcenav-NG (see bug 220162)?
Resolving the other bug would resolve this one, right? *** This bug has been marked as a duplicate of bug 220162 ***
Mostly. The question is if sourcenav should be deleted from the tree after adding sourcenav-ng? (I think so)