BUGS and TODO files