Appendix to ‘Roth’s theorem on progressions revisited,’ by