Moving docs/ to old/ because they are so outdated.