Great to see that Debian packages are coming along well and that people
are interested and actively testing. The mailing list volume on this
topic is increasing, so it worth adding a mailing list which is specific
to the packages? Perhaps fenics-pkg?
