micro Weekly 25
Continued to fix handling of expired push subscriptions, introducing experimental type annotations along the way for the affected code of micro. Also played around with real-time content updates.
I’ll be on vacation next week and development will continue afterwards at full capacity again. ☺️