Bug-Database: https://github.com/rzr/pinball-table-hurd/issues/
Bug-Submit: https://github.com/rzr/pinball-table-hurd/issues/new
Documentation: https://github.com/rzr/pinball-table-hurd/
Repository-Browse: https://github.com/rzr/pinball-table-hurd/
Repository: https://github.com/rzr/pinball-table-hurd.git
