I’d take out this and the previous lines. In such a small text, it looks huge. Since this is simply a quick reference and this thanks is already on the main file, I think it’s safe to leave it out.