github extensions add