Wikipedia:Articles for deletion/Header tape
stub" does not mean "must delete", and Ifnord points out that this can be kept due to policy of 
— User:Dr, 20:54, 22 July 2021 (UTC)
Stance: keep
Cited policy: WP:HEY (Wikipedia:The Heymann Standard)