Has there been some HTML proposal about datetime translation? Say I have `2024-02-20T19:21+0100`, I want to show the local time of the user based on this time, but without having to bake a custom script and UI for that.
We already have `new Date()` that can do the translation, and we have <time> element that technically represents this kind of thing, so maybe we already have the building blocks?