landing page doesn't list uips automatically

[conorsch]

Recently a few UIPs landed, and they're visible in the nav bar on the website, but not on the landing page:

Do we have to remember to manually update the landing page? That's fine if so. It'd be cool if the landing page could automatically enumerate the entries, but maybe mdbook as ssg can't do that.

[hdevalence]

Yes, we have to add it manually, shouldn't be a big deal