@bradkemper wrote in IRC “I didn’t think ink overflow got paginated”. We don't actually specify about this anywhere. It seems to me that we should say something about that.