Should those properties be nonenumerable?

[claudepache]

Until now, all browsers have some of them enumerable.
Chromium has recently tried to switch to always nonenumerable:
https://codereview.chromium.org/1416093006

[claudepache]

Now, Chrome has shipped that in its stable version, and the web has not collapsed, so I'm assuming it is safe.