v7.1.5

🚀 Improvement

• imprv: Slim down the sidebar scrollbar (#9430) @reiji-h

🐛 Bug Fixes

• fix: Usage for stream pipeline of callback version (#9455) @reiji-h
• fix: TypeError occurs during export (#9481) @miya
• fix: Put / before the page name (#9471) @Ryosei-Fukushima
• fix: Cannot comment when comments from rom user are allowed (#9472) @miya