Tên gọi 'Hồng lâu mộng' có ý nghĩa gì?

Tên gọi 'Hồng lâu mộng' có ý nghĩa gì?

Ít người biết rằng trước khi nổi tiếng với cái tên "Hồng lâu mộng", kiệt tác này được nhà văn Tào Tuyết Cần đặt tên là "Thạch đầu ký" (nghĩa là ghi chép của hòn đá).