docs: sync from PESLite 7f1f5d79b18f9d8d85df971fa0e02aa72d48dd53
docs: sync from PESLite 654664b9f5c96a549810f5086ed8d30cf548c7e7
docs: sync from PESLite f89824c47423a97be0f75e191e3b07234ebaa791