Welcome to the wiki and thank you for the contributions. As a FYI, We took a poll on the Discord server and decided to standardize the DOS-related names, which I went around and implemented. Tacopill (talk) 22:05, 24 October 2024 (UTC)