Looks like @gerardus hasn't received any replies!