Due to an overload of activity the last few days, the comment system is broken. Hopefully I’ll get this fixed soon, thanks for your patience.