I came across this line:
and I came across this thread: Dock vs Panel; What's the difference? in which there seems to be a feeling that there's not much to distinguish one from the other.setdocktype=1 # ask the window manager to treat the panel as a dock.
But the lxde wiki seems to suggest that some clear difference does exist. Any idea where I could find out more?