I brought it up in the original “Append extension” PR #9732 – Scott and @mere-human have both confirmed it as well, and @mere-human is working on fixing it. (Based on their experiments, ENTER vs Alt+S/clicking-on-SAVE button have different results, which is obviously a bug.)