I should modify the top navigation bar (the one containing categories,
document library, search, subscriptions, etc.). In particular, I would
like to see links to other workspaces in the same portal (instead of the
original links).
Which file (in the resources folder, I suppose) do I have to edit? And
how?