I'm pretty sure this directory is not useful anymore

and besides, it's in the history