Rename files through F2 keyboard shortcut
Rearrange keypress.js a bit.
Programs: Deprecate `name` and `desc` properties in favor of translatable messages.