Note that not all standard libraries are implemented [ci skip]
Merge pull request #2822 from sferik/facts

Note that not all standard libraries are implemented