Documenting this as `/// ditto` is probably fine I think.