Stdlib documentation, syntax highlighting improvements, typo fixes, etc