A user wants to install a free text editor on their Windows computer. Which file extension is most likely used for the installer?