[dependenttypes]

> Why can't the stupid things I said 20 years ago in a forum just vanish someday?

Because some might want to read them or use them in some form.