Looks like @planimetry hasn't received any replies!