Getting error with "de.espend.idea.php.annotation" after the recent update.

Hi,

After the most recent update I am getting "Problems found loading plugins: Plugin "Symfony Plugin" was not loaded: required plugin "de.espend.idea.php.annotation" not installed." - but I cannot find that plugin in plugin manager (?)

PhpStorm 2017.1.3
Build #PS-171.4424.11, built on April 26, 2017
[...]
JRE: 1.8.0_112-release-736-b21 amd64
JVM: OpenJDK 64-Bit Server VM by JetBrains s.r.o
Linux 3.13.0-100-generic

Regards