rohany opened this issue 4 years ago · 0 comments
It turns out these doc strings are actually used to generate help messages when using the CLI. The actual comments should just use two "//"s.