This is a backport of commit `4167399cefa4f1621e1fa5ee7fe54c12736a6d21`.
A link with the old directory name is provided.