DEV: Plugin api for adding extra header icons (PR #9964)

GitHub