I think we should rename it to anything else which starts with the letter 'J' and ends with 'Script', or can be initialised as 'JS'. Anything else is a non-starter, because we're not going to rename countless millions of .js files.