<div dir="ltr">I learned that Padre has been removed from Debian in newer releases, so I would suppose this plugin will be also soon. You can disregard this bug.<br><div class="gmail_extra"><br></div></div>