The new name better reflects intended usage (but we are keeping the old
name as an alias for compatibility).
Signed-off-by: NStefan Brüns <stefan.bruens@rwth-aachen.de>
Signed-off-by: NDmitry Torokhov <dmitry.torokhov@gmail.com>