Happy deepavali and selamat hari raya to all who are celebrating!. To those who are on-call, may the general population take good care of themselves and let us a peaceful holiday at work too!