INSTALL: Style: For shell commands, use indentation instead of $