Looks like @michaelrrg hasn't received any replies!