Actually I did make one (a hardly-working, incredibly slow one), but I lost the source code somehow, and am unsure where I left my backup.
In any case, I think I may decide to redo the whole highlighter, using a custom engine (I was using GeSHi before, which was why it was so bad), but that'll most likely happen some time after the holidays.
Although I don't know if I need to actually actively heat it or just let the plate and hotend bring the ambient temp to whatever it will, but even then I need to figure out an exfiltration for hot air. I think I kind of know what to do but it's still fucking confusing
I don't think I'm dealing with quite the same pressures though, at the very least its a significantly smaller system. For the time being I'm just going to put together a quick scrubby box though and hope it works good enough to not make my house toxic
I do know this - xenforo dropped the ball by not keeping the vbulletin reputation comments as a feature. The loss of the Reputation comments data when we switched to Xenforo really was the death knell for the site when it came to all the users that left. I know I missed it so much and I got way less interested in the site when that feature was gone and I run the site.