History for Raspberry Pi OSでどのネットワーク管理方法（ifupdown, systemd-networkd, NetworkManager）が使われているかを調査する.md