Looks like @anatan hasn't received any replies!