Fixed formatting of serial_executor batching note

I'm not 100% sure I'm using the <cxx-note> element as intended, but the rendering in the browser looks better now.