Improved big bang nucleosynthesis constraints on heavy neutral leptons | Synapse