Can we remove the top level links? They send us back to the src/, which makes them pointless to have

[Philip Nee]

as title.