fix(emacs/lean-server): missing 'rx' at the beginning of regex