Another Jane Street comment indentation test, in 'match'.

Here's another small comment indentation refinement I propose.  What do you think?  Thanks!