Are there any file managers that can replace explorer totaly? I know about DOpus, but are there any others?