julia

cf2176fb - tweak extension header in manual for search-ability (#47951)