Should I have a per format indicator that non empty @part is ok for
that format (in texi2any.pl)?
Yes, let's.
If so, should docbook be the only format not warned for, or should
also HTML be in that situation, as non empty @part is correctly
rendered in that format?
No warning for HTML, as well as docbook, sounds right to me.
Thanks,
k
