Thanks for your bug report. They have been removed in the debian/ubuntu packages, and we didn't see that…
Thanks for your bug report.
They have been removed in the debian/ubuntu packages, and we didn't see that…