Patches Make build output friendlier: #6320 Fix url in docs: #6323 Credits Huge thanks to @Timer and @joshua-scott for helping!