You may have heard about 'http://www.portalxl.nl/' the heavily modded PHPBB3. I love some themes from other premium services like one from Rockettheme. But will this support that or I have to make any changes? I found no document to use those theme with PortalXL.