WSL/SLF GitLab Repository
Revert commit a4b0a56d also for the source file, which got accidentally committed in commit c62c3ee0.