db_bootstrap.pl: fix path to GitHub issue tracker in comments
Merge branch 'dev'