Add minimal header to profiles (#8936)
authored by samuel.fm and committed by GitHub 4 months ago 13c4ef83 dfe9f9fa