getlantern/lantern#1777 Manually verifying server