In mid-2022 I bought a new domain name. The name was musicbox.fun. I got it for a side-project, an interactive online music box that I had built and hosted at musicboxfun.com. The new name was shorter and more quirky. I felt lucky to have grabbed it. Unfortunately, musicbox.fun had a history. Before I bought it, the domain was used to host pirated music. musicbox.fun, as it existed in 2018 (before