Edit requests of Windows10 環境で Docker を使った快適な開発環境を作ろうとして諦めた話