docs: sync from PESLite aedfac0a85f2fec6e934cad2f78f6e08b90a009c
docs: sync from PESLite f89824c47423a97be0f75e191e3b07234ebaa791