Yes. You read correctly. There are FIVE tags about iOS in documentation. I don't know how we could find 5 people to commit on ios10&ios9 and how someone could propose ios8 and ios7.
In my opinion, we should merge these tags. There is the possibility of using inline versions if something differs from version to version.
asp.net-mvc
,asp.net-mvc-4
andasp.net-mvc-5
.