>> What do you think? Feel free to move things around to put the most
>> relevant first, and remove or add more links.
>
> I like it.
Good.
>> I renamed tools as "Development tools".
>
> I'm not sure designers and doc writers would feel welcome into this
> section with this name. But perhaps pointing to the revelant Redmine
> custom queries from contribute/how/* is enough. Your call.
I renamed it into "Tools for contributors" and added direct links to the
custom queries in Redmine by type of work so that you can see it's
diverse straight from there.
>>> * About the huge "Other development pages" index, I propose we create
>>> a ticket for filtering out what shouldn't be there, and creating
>>> index pages for every sub-directory of contribute as needed, so that
>>> we can make the list way shorter by only pointing to the relevant
>>> pages. I don't think this should block the deployement of the fix
>>> for #6173, though.
>
>> The downside this is that we won't take advantage of the automatic
>> indexing anymore. Maybe we could still have an automatic indexing of a
>> section on the index of the section. The downside of this, is that we
>> might have to move quite a few pages around so that the source tree
>> matches the logical sections we want to create.
>
> Moving these pages around looks like an improvement to me, actually.
I propose we do that on an ad-hoc basis whenever we implement those
changes. When ever we are ok with this draft I'm ready to create tickets
tracking the rest of the plan (creating indexes, creating indexes, etc.).
