Mike, thanks for the blog post. Few lines about how the name mangling issue was addressed would've been interesting know on the blog.
The regarding main PR contains a lot of info: https://github.com/dlang/dmd/pull/5855
For example, some quick stats on the reduced size of Phobos:
https://github.com/dlang/dmd/pull/5855#issuecomment-315565256