Could we keep with the style of the rest of the codebase and use double-slash comments?