IPv4 routes with IPv6 nexthop in OSPFv3

[Lexi Winter]

hello,

it's me again, with my OSPF network.

i was reading this blog post:
https://ipng.ch/s/articles/2024/04/06/vpp-with-loopback-only-ospfv3-part-1/
which seems to suggest that Ondrej had done some work on advertising
IPv4 prefixes into OSPFv3 with IPv6 nexthop in BIRD.

however, it's not entirely clear to me how this works in practice,
particularly since i don't use VPP.

what i'd like to achieve is that each router that handles IPv4 packets
has a single IPv4 address on lo0, and this somehow (magically) works
with OSPFv3, so that i don't need to assign a /31 to every IPv4 OSPF
peer.

is this possible in BIRD 2.16.1, and if so, how would i go about setting
it up?

	thanks, lexi.