Unclear on "previous UK immigration applications"

[Pod]

On the online citizenship application, under "Immigration details", the site asks "Have you made any previous UK immigration applications in the UK or abroad?" My answer is "Yes", at which point the site asks for information about previous applications.
I had three previous applications: Tier 2 General, Tier 2 General renewal, and IDLR. It is clear that I should enter both Tier 2 applications as "previous UK immigration applications". However, it is not clear if I should enter the IDLR application as a "previous UK immigration applications". The reason is that immediately preceding "Immigration details", there is a section titled "Biometric residence permit details", which I filled out with the BRP number I received with IDLR. What's more, there is an earlier question asking if I had been granted Indefinite Leave to Remain (Yes), and on what date.
So, the site has already collected all of the relevant information regarding my IDLR application; entering the IDLR application as a "previous UK immigration application" would be completely redundant.
Bottom line, should I enter the IDLR application as an "previous UK immigration applications" despite its redundancy, or should I not enter it?
Thank you in advance.

[CR001]

The two section are irrelevant to each other. You need to list ALL applications you have made, ILR included as it is clearly an application to HO.