Thanks to @avnik for notification. The stdenv now auto-removes developer-only documentation unless explicitly indicated, which wasn't a good fit for these packages.
Thanks to @avnik for notification. The stdenv now auto-removes developer-only documentation unless explicitly indicated, which wasn't a good fit for these packages.