Change to configuration for pygments.
More docker updates.