Error: 'timeInMillis' is not a member of 'java.time.ZonedDateTime'

Thank you very much! That works.

Should we add this to the documentation?
I don’t know if the error I got is my fault. If not, should the example in the documentation be replaced by your suggestion?

I would try to do that, if necessary.