Use ini-style comments

Change-Id: I9764c2e82e13386e5118e870d4ba6ae833a6d50b
Signed-off-by: Giuseppe Lavagetto <glavagetto@wikimedia.org>