Updated URLs on two symbols to Github location.