Various small changes (navigation/github removal/getting started button removal)