Add note about style differences, fix push commands