Feature #4546: add slash key