> +              ;; FIXME: The release at maven is pre-generated. The release at
> +              ;; github requires jflex.

That's fine.  I'd say "Note" instead of "FIXME" then.  There are other packages
where we use a specific server for similar reasons, and it's not bad.

LGTM!