nevermind, the mentioned pr is still open.