作成したローカル開発環境を削除したいのですが、vagrant destroy をして仮想マシンを削除しても Vagrantfile などのファイルが残っています。これらは rm -rfコマンドで削除してもよろしいのでしょうか？