Former Manchester United midfielder Jesse Lingard is one of six players that have been released by Nottingham Forest.
Lingard joined Steve Cooper's side on a free transfer last summer following the expiration of his Man United contract.
The former England international made 20 competitive appearances in the 2022-23 season, scoring two goals and providing two assists.
However, Lingard fell out of favour in the second half of the campaign, starting just one Premier League game in 2023.
After being deemed surplus to requirements, Forest have confirmed that Lingard will leave the club on a free transfer this summer.
Henderson made 18 Premier League appearances for Forest before he picked up a thigh injury in January, which ultimately cut his season short.
Navas was brought in as Henderson's replacement, and the Costa Rica international went on to feature in 17 Premier League games.
Atletico Madrid loanee Renan Lodi has also returned to his parent club after making 32 competitive appearances, chipping in with one goal and one assist.
While a whole host of players have left the City Ground, Forest have also announced that a couple of players will be staying at the club.
After joining the club in September until the end of the 2022-23 season, Serge Aurier has triggered an automatic one-year extension.
Forest have also confirmed that Chris Wood's loan deal from Newcastle United will become a permanent transfer when the summer window opens.