Lobsters: Practical software freedom with GNU Guix