Looks like @kosma hasn't received any replies!