(just that this file is currently empty does not
 prove that there are no bugs in this software ;)