Fix add_highlighting support for extra themes
Fix add_highlighting support for extra themes

Signed-off-by: Alex Coles <60c6d277a8bd81de7fdde19201bf9c58a3df08f4@alexbcoles.com>

plexus/slippery,plexus/slippery,plexus/slippery