[sr-dev] git:master:ab27f988: topos: skip options from contact header check