I quite dislike this comment style, mostly because it breaks our tab / space rule. Suddenly there's one space at the beginning of a line. Please do replace these with regular `//`-style comments