Worth leaving an invisible `id="artifacts"` here so that the old URLs `...#artifacts` will still work?