Often, after waking up from a night's sleep hard, flaky, pale yellow crystals are deposited around the eyelids (which easily wash off with water).
What are these? Why are they yellow? What are they made of? Is their amount proportional to the length of sleep?