Note possible source of yasnippet weirdness in php-mode