0.72.17

Bug fixes and stability improvements.

• Fixes for very minor bugs reported in production that appear to be affecting only a tiny subset of users.