Activate the svg text tool when double-clicking on svg text

Note: artistic text and multiline text are saved as svg text
as well; multiline text gets uneditable because it doesn't
have a shape id, even after ungrouping.