Looks like @trebuh hasn't received any replies!