gjm comments on 10/​05/​2017: Development update (performance & styles)

[gjm]

Aside from the comment-posting bug, this all does seem like solid improvement; thanks!