On Wed, 22 Jan 2020, Peter Wang wrote: > Feel free to shoot down any of these changes you disagree with. The changes are fine. The BUGS file should probably also say that bugs can be reported via github issues. Julien.