“Side comment” is a clever name for this, instead of quote or highlight.