tmhall

Thanks for this Nietzschean. I guess if it’s a bug, there’s not much I can do about it until the developers fix it.

I’m not strong enough at PHP coding to be able to fix it myself. Any takers out there?