deps #1 Do the built-in manual differ much from the online one? I use the Online Blitz3D manual a lot when I'm using MiniB3D.