I was referring to our “Insert date” feature in the editor.
Thanks for the PR! Keep in mind it’s still unclear whether we want to allow this as a personal setting as opposed to just sticking with the most prevalent standard.
I’m in favor of the latter. The setting could be extracted to a very trivial plugin suitable for niche communities where this granularity is somehow important.