GitLab

(define-compilation-mode): Doc fix and refill.
(kill-compilation): Use `mode-name' in the error message.
(compilation-find-file): Use `compilation-error' in the
read-file-name's prompt.