The idris-mode package has been updated to no longer use the idris-packages variable, which allows the Idris layer to safely be renamed to the standard for other languages.
