Looks like @ghc hasn't received any replies!