docs: sync from PESLite 7f1f5d79b18f9d8d85df971fa0e02aa72d48dd53
docs: sync from PESLite aedfac0a85f2fec6e934cad2f78f6e08b90a009c
docs: sync from PESLite 92af9a345088c79c634f0657897d73a773276417
docs: sync from PESLite aa53296552577ac1d476c95ee3845ef0b29bd610