Google Calendar を見ていたら、祝日として11月15日に「七五三」というのが入っている。公式で提供されている「日本の祝日」にこれが含まれているようなんだが、要らんなあ。法令上の祝日（およびせいぜい振替休日）だけにしてほしい。