A collection of facts about rainbows