Sembra che ci siano due rami attivi del web server nginx: un ramo “mainline” (attualmente 1.9.x) e un ramo “stabile” (attualmente 1.8.x). Qualcuno può fornire una fonte ufficiale che descriva la differenza tra questi due rami e come si sceglierebbe tra loro?