add comment explaining why this must, for now, be a separate file