Looks like @mjgrae hasn't received any replies!