4 Aug
2014
4 Aug
'14
5:25 a.m.
Hm, the issue seems to be that RFC1345 does not distinguish between heavy strokes and double strokes in the box drawing characters. I'll make a script to go through those and check them.