Merge branch 'penthouse' into 'pregmod-master'

devTools/FC.d.ts

js/002-config/fc-js-init.js

src/002-config/mousetrapConfig.js

src/003-assets/CSS/slaveList.css

src/003-assets/CSS/tabs.css

src/gui/Encyclopedia/encyclopedia.css

src/gui/Encyclopedia/encyclopedia.tw

src/gui/Encyclopedia/encyclopediaEntries.js

src/gui/Encyclopedia/encyclopediaWidgets.tw

src/gui/css/mainStyleSheet.css

src/interaction/main/mainLinks.js

src/js/main.js

src/js/slaveListing.js

src/js/utilsDOM.js

src/js/utilsSC.js

src/uncategorized/main.tw

src/uncategorized/options.tw