I think your solution is more elegant, Ricardo, because it's not robust to
change (the AWK parsing could break).

Question: why should we run it from a Guix checkout?

Reply via email to