Some bits and pieces of PhpStorm config I share between my machines