I see now that, in the time it took me to draft my reply, Aleksey has requested and received a string freeze exception and reviews, and has closed the ticket for 0.88. Thank you, Aleksey, for pushing this through. Thank you, Simon and Tomeu, for helping him to do so. Michael