Here: https://www.gnu.org/software/gdb/ there's <h3>GDB version 8.1.1</h3> shouldn't that be: <h3>GDB version 8.2</h3> ?
This has been fixed a while ago, apparently. Closing.