was Dave having depression a fan theory or actually said in homestuck?

Davepeta said they were depressed when they were Davesprite on two occasions, so at the very least Davesprite has canon depression. But no, Dave Strider, the alpha timeline Dave, does not canonically have depression (although lets face it, he probably does)