Release v4.253.0

Added

• The VS Code extension highlights .strings files: comments, dotted keys, the quoted value, {placeholders} and escapes. The editor also closes quotes and braces and toggles // comments in them.
• A strings file carries the Cratis icon with a quotation badge in its lower right corner in the explorer and on its tab, so it is told apart from a .play file while the Cratis symbol stays visible.