Can you try this:

-> Press F7
-> type "date"
-> Press Enter

As mentioned, we have "date" command that can do this. Type "help date" to see the available formatting options. 

You can write your own command in javascript that invokes "date" with the right format.

wow. Thanks a lot. 
I wonder, why is this function so hidden and difficult to find?
Would it be very difficult for the developers to program a user-friendly shortcut or place “date” in the menus?

If we add a menu entry for every imaginable feature, we will end up with a menu tree the size of the Amazon Rainforest ;)