[buteo-syncfw] More doc deployment fixups

This change should not be needed, rest looks fine.