Board Thread:Decisions/@comment-24264457-20151103132527/@comment-12228547-20151103221008

Yes, it should be italicized.