docs: sync from PESLite 7f1f5d79b18f9d8d85df971fa0e02aa72d48dd53
docs: sync from PESLite aedfac0a85f2fec6e934cad2f78f6e08b90a009c