db_bootstrap.pl: fix path to GitHub issue tracker in comments