Yes. The Raspberry Pi Foundation updated their published documentation to include programmable GPIO current limits on the GPIO recently (Jan, 2019), and the latest "official version" of the GPIO docs can be found here.
The Foundation's "official documentation" is published in the following locations:
The Foundation has also referenced some documents published by Broadcom as part of their official documentation. Specifically with respect to the GPIO, you may wish to consult this document beginning on p. 89.