IPv4-in-IPv6 туннель дома

В cdd29ba1d7a5fdd299f169e5d213c33258e561df упоминал, что для IPv4
трафика всякие 10GbE, демоны маршрутизации и прочие штучки-дрючки
не применяются. Он тупо статическим маршрутом идёт в шлюз. Ибо ну
не хочу я видеть упоминание этого рудимента у себя в прекрасных
конфигах, как можно меньше бы.

Но что мне мешает пускать IPv4 трафик внутри IPv6 туннеля между шлюзом и
другими компьютерами? Тогда и его путь будет зависеть от подключённости
10GbE и если используется WireGuard, то и внутри него он будет
заворачиваться. Зато демоны маршрутизации ничего про IPv4 не знают.
Сделал, прекрасно работает, доволен результатом.