Looks like @butor hasn't received any replies!