Gruppo Mongodb e push con array vuoti

Questo è uno degli svantaggi di $unwind e $group per gli array nidificati. Per sbarazzartene devi aggiungere un'altra fase $addFields per filtrare gli array nidificati vuoti.

Aggiungilo alla fine della pipeline

{ "$addFields": {
  "Specifications": {
    "$filter": {
      "input": "$Specifications",
      "cond": { "$ne": ["$$this.Description", undefined] }
    }
  }
}}