This is using btcd's (roasbeef) implementation of MuSig2, by the way. If it's broken complain to him.