With so many pages in the documentation, it might be hard for users to find the correct page for a question or topic. For this reason, I propose the addition of a search bar.
That could just be a small icon on the top-right which has a simple "look for matches in titles".
Another possible way to look for pages is that we add a new property at the top of each page which contains certain keywords described in the page.
So for example, for the userdev page, we could add the following content keywords:
keywords: 'gradle', 'userdev', 'paperweight', 'internals', 'mappings'
With so many pages in the documentation, it might be hard for users to find the correct page for a question or topic. For this reason, I propose the addition of a search bar.
That could just be a small icon on the top-right which has a simple "look for matches in titles".
Another possible way to look for pages is that we add a new property at the top of each page which contains certain keywords described in the page.
So for example, for the userdev page, we could add the following content keywords: