First time here? Check out the FAQ!
answered 2019-06-07 03:33:45 -0600
thank you for the report, that page clearly needs an update !
if you find a free minute, maybe an issue / pr here ?