Without the links, does it make sense to leave the empty `<header>`?