I think TopBunks number are accurate if you don't look at the bigger picture.
New aircraft slip in as old ones are stood down and although less staff will be needed overall I think it's too simplistic a view to just take the number of aircraft stood down permanently or over winter and multiply by the number of crew required.
You really need to calculate the number of crew also needed to fly the new aircraft we have just bought and those that are coming along.
More complicated than it first seems