Remove time_locale.py
We usually forget to update it. I think we should replace it by using the translation infrastructure. I think we could use #3672 (closed) to register day of the week and the month names.
We usually forget to update it. I think we should replace it by using the translation infrastructure. I think we could use #3672 (closed) to register day of the week and the month names.