Miscellaneous stuff for RPTools apps (MapTool and TokenTool).