Problem: somehow, we yet lack it here, so different people may bring different formatting to the source code. Solution: add some config that we commonly use.
