Use `///` style doc comments