modules: port the proof display filter to convert_buffer()