Yes, I think "highlight-code" can be removed.