About the Random category

Anything that doesn’t fit elsewhere.