lavapipe: rename vallium to lavapipe
Just a cooler name, thanks Marek (@mareko)
This might cause some conflicts on outstanding MRs, we can decide when to land it.
Also helps find it in search engines.
Just a cooler name, thanks Marek (@mareko)
This might cause some conflicts on outstanding MRs, we can decide when to land it.
Also helps find it in search engines.