Hoy 15 de noviembre sale Fedora 37, así que como siempre, cabe resolver las preguntas típicas: ¿cómo actualizo a Fedora 37? ¿Vale la pena formatear?