Is this no longer used? Waiting for some bugfix to be enabled (if so, mind including a comment with the bug) ?