Alexei's full title after canonization

[sunbeam]

There's a topic on here about Alexei's full title during his lifetime:
His Imperial Highness Sovereign Heir Tsesarevitch and Grand Duke Alexei Nikolaevich Romanov
(if I'm correct).
I was wondering, what his full title would be after his canonization as saint in the Russian Orthodox Church. Is the word "saint" put in front of the title above? And/or the word "strastoterpets" ("passion bearer")?
Just curious

[Georgiy]

In Church I think (having to translate here) he is generally referred to as Holy Royal Martyr Tsesarevich Alexei when he is commemorated.