Sorry. HN makes some automatic adjustments to headlines when submitting and I didn’t notice it was decapitalized until I’d lost the ability to edit.