docs: sync from PESLite 3f67691d213f07f91f9f9e8327c6f5acb112a784
docs: sync from PESLite f89824c47423a97be0f75e191e3b07234ebaa791