agda: leave elisp files in-place
agda: leave elisp files in-place

Otherwise `agda-mode locate` fails to give the correct path.

Fixes #46678.

Closes #46688.

Signed-off-by: Alex Dunn <46952c1342d5ce1a4f5689855eda3c9064bca8f6@gmail.com>

jamer/homebrew,treyharris/homebrew,sferik/homebrew,drbenmorgan/linuxbrew,megahall/homebrew,kevinastone/homebrew,nelstrom/homebrew,geoff-codes/homebrew,dgageot/homebrew,theeternalsw0rd/homebrew,3van/homebrew,Chilledheart/homebrew,hongkongkiwi/homebrew,ebouaziz/linuxbrew,heinzf/homebrew,DoomHammer/linuxbrew,skatsuta/homebrew,MartinDelille/homebrew,elyscape/homebrew,dkotvan/homebrew,esamson/homebrew,afh/homebrew,johanhammar/homebrew,dericed/homebrew,drewwells/homebrew,razamatan/homebrew,megahall/homebrew,AGWA-forks/homebrew,elgertam/homebrew,decors/homebrew,marcwebbie/homebrew,eighthave/homebrew,dickeyxxx/homebrew,osimola/homebrew,johanhammar/homebrew,drewwells/homebrew,hyuni/homebrew,jamer/homebrew,kodabb/homebrew,MartinDelille/homebrew,ilovezfs/homebrew,influxdb/homebrew,Angeldude/linuxbrew,sakra/homebrew,jconley/homebrew,reelsense/linuxbrew,mobileoverlord/homebrew-1,reelsense/homebrew,keith/homebrew,afh/homebrew,chadcatlett/homebrew,afh/homebrew,3van/homebrew,joshua-rutherford/homebrew,theeternalsw0rd/homebrew,quantumsteve/homebrew,ebouaziz/linuxbrew,jiashuw/homebrew,LinusU/homebrew,vigo/homebrew,danieroux/homebrew,sferik/homebrew,nandub/homebrew,zeha/homebrew,decors/homebrew,nandub/homebrew,zhipeng-jia/homebrew,drbenmorgan/linuxbrew,knpwrs/homebrew,dunn/homebrew,SteveClement/homebrew,dutchcoders/homebrew,Angeldude/linuxbrew,osimola/homebrew,danieroux/homebrew,petere/homebrew,dunn/homebrew,cosmo0920/homebrew,ebouaziz/linuxbrew,kenips/homebrew,lrascao/homebrew,scpeters/homebrew,ear/homebrew,ablyler/homebrew,gnubila-france/linuxbrew,codeout/homebrew,mactkg/homebrew,ExtremeMan/homebrew,TaylorMonacelli/homebrew,Red54/homebrew,vigo/homebrew,vigo/homebrew,theeternalsw0rd/homebrew,adamliter/homebrew,sakra/homebrew,hakamadare/homebrew,zhipeng-jia/homebrew,mactkg/homebrew,tutumcloud/homebrew,mactkg/homebrew,keith/homebrew,elyscape/homebrew,josa42/homebrew,dunn/homebrew,jconley/homebrew,apjanke/homebrew,sakra/homebrew,slyphon/homebrew,lvicentesanchez/homebrew,jab/homebrew,optikfluffel/homebrew,Linuxbrew/linuxbrew,3van/homebrew,liamstask/homebrew,miketheman/homebrew,BrewTestBot/homebrew,zeha/homebrew,mactkg/homebrew,jab/homebrew,dkotvan/homebrew,esamson/homebrew,johanhammar/homebrew,skinny-framework/homebrew,ryanfb/homebrew,filcab/homebrew,ralic/homebrew,treyharris/homebrew,jarrettmeyer/homebrew,knpwrs/homebrew,yangj1e/homebrew,arnested/homebrew,Red54/homebrew,keith/homebrew,mmizutani/homebrew,koraktor/homebrew,sjackman/linuxbrew,geoff-codes/homebrew,SuperNEMO-DBD/cadfaelbrew,elgertam/homebrew,nandub/homebrew,elgertam/homebrew,base10/homebrew,afh/homebrew,danieroux/homebrew,jsjohnst/homebrew,alebcay/homebrew,SuperNEMO-DBD/cadfaelbrew,sjackman/linuxbrew,menivaitsi/homebrew,pcottle/homebrew,deorth/homebrew,drbenmorgan/linuxbrew,decors/homebrew,Chilledheart/homebrew,ear/homebrew,royhodgman/homebrew,reelsense/homebrew,LinusU/homebrew,nelstrom/homebrew,Linuxbrew/linuxbrew,influxdata/homebrew,brunchboy/homebrew,xcezx/homebrew,marcwebbie/homebrew,ento/homebrew,AlexejK/homebrew,optikfluffel/homebrew,iostat/homebrew2,retrography/homebrew,theeternalsw0rd/homebrew,frodeaa/homebrew,jiashuw/homebrew,decors/homebrew,Chilledheart/homebrew,Asuranceturix/homebrew,mmizutani/homebrew,ehamberg/homebrew,danieroux/homebrew,princeofdarkness76/homebrew,liamstask/homebrew,mobileoverlord/homebrew-1,bigbes/homebrew,vigo/homebrew,yazuuchi/homebrew,georgschoelly/homebrew,hyuni/homebrew,dongcarl/homebrew,galaxy001/homebrew,ybott/homebrew,tutumcloud/homebrew,hakamadare/homebrew,totalvoidness/homebrew,youtux/homebrew,SteveClement/homebrew,ExtremeMan/homebrew,skatsuta/homebrew,MartinDelille/homebrew,sjackman/linuxbrew,Linuxbrew/linuxbrew,bukzor/linuxbrew,dgageot/homebrew,filcab/homebrew,redpen-cc/homebrew,yumitsu/homebrew,deorth/homebrew,cprecioso/homebrew,dalanmiller/homebrew,Chilledheart/homebrew,joshfriend/homebrew,teslamint/homebrew,OJFord/homebrew,recruit-tech/homebrew,razamatan/homebrew,deorth/homebrew,muellermartin/homebrew,jarrettmeyer/homebrew,Asuranceturix/homebrew,royhodgman/homebrew,teslamint/homebrew,nelstrom/homebrew,ear/homebrew,retrography/homebrew,adamliter/homebrew,knpwrs/homebrew,koraktor/homebrew,emcrisostomo/homebrew,skatsuta/homebrew,3van/homebrew,ExtremeMan/homebrew,frodeaa/homebrew,nelstrom/homebrew,totalvoidness/homebrew,cscetbon/homebrew,davydden/linuxbrew,gnubila-france/linuxbrew,ento/homebrew,feelpp/homebrew,TaylorMonacelli/homebrew,getgauge/homebrew,kevinastone/homebrew,zchee/homebrew,dplarson/homebrew,TaylorMonacelli/homebrew,Homebrew/linuxbrew,royhodgman/homebrew,MartinDelille/homebrew,dplarson/homebrew,OJFord/homebrew,chadcatlett/homebrew,utzig/homebrew,BrewTestBot/homebrew,reelsense/linuxbrew,muellermartin/homebrew,Gasol/homebrew,georgschoelly/homebrew,Homebrew/homebrew,sjackman/linuxbrew,drewwells/homebrew,sferik/homebrew,jconley/homebrew,benjaminfrank/homebrew,princeofdarkness76/homebrew,dongcarl/homebrew,alebcay/homebrew,ralic/homebrew,adamliter/homebrew,optikfluffel/homebrew,sometimesfood/homebrew,benjaminfrank/homebrew,dericed/homebrew,SteveClement/homebrew,eighthave/homebrew,marcwebbie/homebrew,skinny-framework/homebrew,reelsense/linuxbrew,zchee/homebrew,hanxue/homebrew,hakamadare/homebrew,saketkc/linuxbrew,bukzor/linuxbrew,jiashuw/homebrew,ablyler/homebrew,ryanfb/homebrew,drewwells/homebrew,tschoonj/homebrew,iostat/homebrew2,Homebrew/homebrew,cosmo0920/homebrew,emcrisostomo/homebrew,dgageot/homebrew,kenips/homebrew,xcezx/homebrew,scorphus/homebrew,sometimesfood/homebrew,gnubila-france/linuxbrew,utzig/homebrew,gicmo/homebrew,joshua-rutherford/homebrew,kevinastone/homebrew,xcezx/homebrew,Homebrew/linuxbrew,reelsense/homebrew,apjanke/homebrew,bukzor/linuxbrew,kenips/homebrew,polishgeeks/homebrew,joshfriend/homebrew,base10/homebrew,davydden/linuxbrew,kevinastone/homebrew,ento/homebrew,mobileoverlord/homebrew-1,dplarson/homebrew,DoomHammer/linuxbrew,elyscape/homebrew,codeout/homebrew,pcottle/homebrew,yangj1e/homebrew,razamatan/homebrew,OJFord/homebrew,influxdb/homebrew,georgschoelly/homebrew,royhodgman/homebrew,OJFord/homebrew,petere/homebrew,booi/homebrew,hanxue/homebrew,adamliter/homebrew,yumitsu/homebrew,Gasol/homebrew,koraktor/homebrew,josa42/homebrew,jiashuw/homebrew,skinny-framework/homebrew,mmizutani/homebrew,dalanmiller/homebrew,dutchcoders/homebrew,codeout/homebrew,osimola/homebrew,pdxdan/homebrew,saketkc/linuxbrew,ybott/homebrew,totalvoidness/homebrew,sometimesfood/homebrew,ilovezfs/homebrew,iostat/homebrew2,michaKFromParis/homebrew-sparks,sakra/homebrew,haihappen/homebrew,ryanfb/homebrew,megahall/homebrew,dgageot/homebrew,kodabb/homebrew,LinusU/homebrew,ilovezfs/homebrew,hanxue/homebrew,ralic/homebrew,haihappen/homebrew,Red54/homebrew,jsjohnst/homebrew,kenips/homebrew,skatsuta/homebrew,redpen-cc/homebrew,base10/homebrew,tschoonj/homebrew,miketheman/homebrew,dongcarl/homebrew,thinker0/homebrew,Gasol/homebrew,miketheman/homebrew,BrewTestBot/homebrew,utzig/homebrew,brunchboy/homebrew,scorphus/homebrew,elyscape/homebrew,Gasol/homebrew,bukzor/linuxbrew,dutchcoders/homebrew,osimola/homebrew,jab/homebrew,johanhammar/homebrew,drbenmorgan/linuxbrew,slyphon/homebrew,zchee/homebrew,polishgeeks/homebrew,lvicentesanchez/homebrew,gawbul/homebrew,eighthave/homebrew,SuperNEMO-DBD/cadfaelbrew,ryanfb/homebrew,ybott/homebrew,SuperNEMO-DBD/cadfaelbrew,AlexejK/homebrew,ento/homebrew,blogabe/homebrew,blogabe/homebrew,jsjohnst/homebrew,elgertam/homebrew,LinusU/homebrew,SteveClement/homebrew,geoff-codes/homebrew,zeha/homebrew,zhipeng-jia/homebrew,razamatan/homebrew,brunchboy/homebrew,Angeldude/linuxbrew,polishgeeks/homebrew,yazuuchi/homebrew,heinzf/homebrew,jsjohnst/homebrew,iandennismiller/homebrew,Homebrew/linuxbrew,bigbes/homebrew,redpen-cc/homebrew,ablyler/homebrew,joshua-rutherford/homebrew,lvicentesanchez/homebrew,yangj1e/homebrew,jarrettmeyer/homebrew,cprecioso/homebrew,iandennismiller/homebrew,hyuni/homebrew,gawbul/homebrew,dkotvan/homebrew,manphiz/homebrew,dickeyxxx/homebrew,tschoonj/homebrew,getgauge/homebrew,lrascao/homebrew,base10/homebrew,hakamadare/homebrew,joshfriend/homebrew,mkrapp/homebrew,menivaitsi/homebrew,frodeaa/homebrew,yangj1e/homebrew,getgauge/homebrew,dickeyxxx/homebrew,skinny-framework/homebrew,slyphon/homebrew,cscetbon/homebrew,DoomHammer/linuxbrew,Asuranceturix/homebrew,pcottle/homebrew,ehamberg/homebrew,Red54/homebrew,muellermartin/homebrew,MoSal/homebrew,pdxdan/homebrew,dongcarl/homebrew,galaxy001/homebrew,Linuxbrew/linuxbrew,josa42/homebrew,benjaminfrank/homebrew,michaKFromParis/homebrew-sparks,tutumcloud/homebrew,feelpp/homebrew,marcwebbie/homebrew,gicmo/homebrew,emcrisostomo/homebrew,influxdata/homebrew,dplarson/homebrew,youtux/homebrew,ehamberg/homebrew,Homebrew/homebrew,mobileoverlord/homebrew-1,MoSal/homebrew,zhipeng-jia/homebrew,dickeyxxx/homebrew,AGWA-forks/homebrew,redpen-cc/homebrew,galaxy001/homebrew,princeofdarkness76/homebrew,cchacin/homebrew,AlexejK/homebrew,AlexejK/homebrew,influxdata/homebrew,zeha/homebrew,alebcay/homebrew,influxdb/homebrew,manphiz/homebrew,dutchcoders/homebrew,MoSal/homebrew,kodabb/homebrew,megahall/homebrew,pcottle/homebrew,cchacin/homebrew,Homebrew/homebrew,menivaitsi/homebrew,cchacin/homebrew,davydden/linuxbrew,optikfluffel/homebrew,cosmo0920/homebrew,petere/homebrew,nandub/homebrew,princeofdarkness76/homebrew,kodabb/homebrew,joshua-rutherford/homebrew,lvicentesanchez/homebrew,georgschoelly/homebrew,youtux/homebrew,liamstask/homebrew,jamer/homebrew,thinker0/homebrew,benjaminfrank/homebrew,jab/homebrew,AGWA-forks/homebrew,cprecioso/homebrew,SteveClement/homebrew,hongkongkiwi/homebrew,jarrettmeyer/homebrew,booi/homebrew,blogabe/homebrew,scpeters/homebrew,slyphon/homebrew,hanxue/homebrew,polishgeeks/homebrew,BrewTestBot/homebrew,lrascao/homebrew,bigbes/homebrew,tschoonj/homebrew,pcottle/homebrew,feelpp/homebrew,getgauge/homebrew,scpeters/homebrew,chadcatlett/homebrew,brunchboy/homebrew,menivaitsi/homebrew,cchacin/homebrew,cprecioso/homebrew,influxdb/homebrew,ralic/homebrew,youtux/homebrew,ear/homebrew,haihappen/homebrew,knpwrs/homebrew,Homebrew/linuxbrew,heinzf/homebrew,yumitsu/homebrew,arnested/homebrew,sometimesfood/homebrew,iandennismiller/homebrew,recruit-tech/homebrew,pdxdan/homebrew,arnested/homebrew,geoff-codes/homebrew,manphiz/homebrew,dalanmiller/homebrew,quantumsteve/homebrew,dericed/homebrew,alebcay/homebrew,Asuranceturix/homebrew,apjanke/homebrew,pdxdan/homebrew,scorphus/homebrew,quantumsteve/homebrew,mmizutani/homebrew,esamson/homebrew,quantumsteve/homebrew,codeout/homebrew,hyuni/homebrew,michaKFromParis/homebrew-sparks,teslamint/homebrew,petere/homebrew,ilovezfs/homebrew,recruit-tech/homebrew,DoomHammer/linuxbrew,iandennismiller/homebrew,thinker0/homebrew,davydden/linuxbrew,ehamberg/homebrew,gnubila-france/linuxbrew,scpeters/homebrew,tutumcloud/homebrew,retrography/homebrew,mkrapp/homebrew,scorphus/homebrew,galaxy001/homebrew,jamer/homebrew,miketheman/homebrew,bigbes/homebrew,heinzf/homebrew,manphiz/homebrew,MoSal/homebrew,mkrapp/homebrew,ebouaziz/linuxbrew,arnested/homebrew,eighthave/homebrew,dericed/homebrew,frodeaa/homebrew,ablyler/homebrew,saketkc/linuxbrew,sferik/homebrew,muellermartin/homebrew,totalvoidness/homebrew,reelsense/linuxbrew,influxdata/homebrew,yazuuchi/homebrew,Asuranceturix/homebrew,treyharris/homebrew,Angeldude/linuxbrew,gicmo/homebrew,recruit-tech/homebrew,keith/homebrew,AGWA-forks/homebrew,ExtremeMan/homebrew,koraktor/homebrew,feelpp/homebrew,saketkc/linuxbrew,jconley/homebrew,filcab/homebrew,emcrisostomo/homebrew,treyharris/homebrew,cosmo0920/homebrew,hongkongkiwi/homebrew,gicmo/homebrew,apjanke/homebrew,thinker0/homebrew,hongkongkiwi/homebrew,iostat/homebrew2,dunn/homebrew,cscetbon/homebrew,utzig/homebrew,TaylorMonacelli/homebrew,teslamint/homebrew,gawbul/homebrew,esamson/homebrew,retrography/homebrew,yazuuchi/homebrew,ybott/homebrew,dkotvan/homebrew,dalanmiller/homebrew,haihappen/homebrew,filcab/homebrew,xcezx/homebrew,liamstask/homebrew,booi/homebrew,reelsense/homebrew,zchee/homebrew,blogabe/homebrew