Историки ничего не стирают сейчас: 7 ноября - памятный день в нашей истории. А вот считать его праздничным или нет - это каждый решает самостоятельно.