Looks like @niktoch hasn't received any replies!