<div dir="ltr">I guess you can disregard this bug, because I just learned that Padre has been removed from Debian in newer releases.<br><div class="gmail_extra"><br></div></div>