Emacs (from https://emacsformacosx.com/) and Agda (via homebrew) both install gracefully. However when launching Emacs after running agda-mode setup I receive t
xbox-one
gtkbuilder
segment-analytics
wso2mb
html5-clipboard-api
user-feedback
rb-appscript
squirrelmail
opa
reader
redirecttoaction
decimal-point
playframework-2.5
brave
powerpoint-automation
dead-code
sched
build-tools
rust-macros
app-actions
custom-attributes
aria-live
post-build
qnx-neutrino
smallrye-reactive-messaging
switch-expression
timing-diagram
ucum
timetable
screen-options
