extras: add tools to remember gui configuration (size, position, etc) in new extras...
[sdk] / share / man /
drwxr-xr-x   ..
drwxr-xr-x - man1