Debian python package name differs from instructions

[forkwhilefork]

Bug Description

The installation instructions say to install python3.6-dev, but there is no such package on Debian 10:

# apt install python3.6-dev
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package python3.6-dev
E: Couldn't find any package by glob 'python3.6-dev'
E: Couldn't find any package by regex 'python3.6-dev'

There is, however, a package called python3-dev, which I think is what we want:

# apt search python3-dev
Sorting... Done
Full Text Search... Done
games-python3-dev/stable 3 all
  development of games in Python 3

libpython3-dev/stable 3.7.3-1 amd64
  header files and a static library for Python (default)

python3-dev/stable 3.7.3-1 amd64
  header files and a static library for Python (default)

python3-devpi-common/stable 3.2.2-1 all
  PyPI server and packaging/testing/release tool - Common modules

Expected behavior

Docs should be exactly correct for those who don't know what they're doing, etc.

Local Configurations

This is a stock Debian 10 setup, nothing special.

Possible Solution

It looks like the package python3-dev exists in Ubuntu , and depends on python3.6-dev. So, it should be okay to change the package name in the install docs.