Looks like @definitional hasn't received any replies!