Man pages matching name source-highlight-settings in section 1:

source-highlight-settings.1.en	debian 10 / source-highlight
source-highlight-settings.1.en	debian 11 / source-highlight
source-highlight-settings.1.en	debian 12 / source-highlight