Excerpts from Yuya Nishihara's message of 2016-11-19 18:02:43 +0900: > Can we do this formally (i.e. without function wrapping and private > function calls)? chgserver.py isn't an extension now. Good idea. I'll move the logic to extensions.py