20180501 removed: Google celebrates International Labour Day with special doodle