post from @benaiah on 2017-03-27 00:03:03 -0700
@mdom, @kas re: metadata, I'm (obviously) in favor of my suggestion for metadata-in-comments, but I don't think we should have comments _in_ comments.