There's an ongoing discussion about whether or not this redirect should be deleted.