dOxygen needs `///` to distinguish docstrings from normal comments. Note that this is compliant with `//`.