Vector2022 has, actually, a place called Tools. It comes in the edit menu, just
below the language switcher. The problem is that... most of them are not tools.
Indeed, the Design Team decided to bury the sister projects inside the tools
menu. So, yes, we do have a place called tools, where
On Mon, Sep 18, 2023 at 8:49 PM Galder Gonzalez Larrañaga <
galder...@hotmail.com> wrote:
> Toolhub is still something external!
>
> Let me introduce the point: the Research team has been working in great
> tools to help with editing. They made an exciting showcase in Wikimania.
> None of them
