Looks like @heninger hasn't received any replies yet!