Salaam,
Although interesting, I see that the fact that the Quran was revealed to the prophet in a specific night in the month of Ramadan is established in the Quran itself. The need to celebrate the anniversary of this night could be attributed to 'popular Islamic thought'.
[2:185] The month of Ramadan is the month during which the Quran was revealed ...
[44:1-3] Ha Meem. And the proven scripture. We surely revealed it during a blessed night ....
[17:1] Glory to The One who transported His servant during the night from the Sacred Mosque to the Ultimate Mosque, where We blessed its surroundings in order to show him some of Our Signs. Indeed, He is The All Hearer, The All Seer.
[54:4-18]
It is only an inspiration that was inspired.
The Ultimate Power taught him.
Possessor of power of creation, absolutely equitable.
While he was in the highest horizon
He then moved down and came closer.
He then came as close as a couple of bow lengths or even closer.
He then inspired to His servant what was to be inspired.
The mind did not make up what he saw.
Are you then doubtful of what he saw?
And indeed he saw Him on another descent.
By the lotus tree at the ultimate point.
Where paradise exists.
While He covered the lotus tree as it was to be covered.
The eye never wavered, nor did it ever look away.
Indeed he saw great signs from his Lord.