I have added it to the #howto:faq at Complete ROOT Installation Instructions for WSL (Ubuntu 18.04 on Windows 10) - thanks a lot, @olifre!