Modified sage-shell-help:file-type-make-button.