"During the time of Umar (may Allah be pleased with him), people used to perform twenty-three rak‘ahs of prayer (Tarawih) in Ramadan."