sls1005 Tue, 06 Jun 2023 09:15:08 -0700
But I think it's better to make the documentation more friendly to those from different systems. In this case, it could be described as "`nimrtl.dll`, also known as `libnimrtl`, is ..."
