Fix the decimal symbol in the tip input box and other places
Fix the decimal symbol when the 25 cent link is clicked
properly localize tip amounts
Fix the decimal symbol on the giving page
use a macro and fix the l10n of tip amounts
fix `unlocalizeDecimal()` to ignore thousands separators
Bump version to 16.0.0
Bump version to 16.0.0-dev
replace the community_summary view by a table

Fixes #2693 without reverting back to using slow queries.
fix #2694
Merge pull request #2702 from gratipay/fix-link-2694

Fix broken link
Merge pull request #2701 from gratipay/fix-members-count

Replace the community_summary view by a table
Merge pull request #2676 from gratipay/i18n-numbers

Fix the decimal symbol in various places
merge branch.sql into schema.sql
Bump version to 16.0.1
Bump version to 16.0.1-dev
fix #2704
Merge pull request #2705 from gratipay/fix-giving-page

Fix missing usernames on giving page
Bump version to 16.0.2
Bump version to 16.0.2-dev