Smarter notifications, usernames instead of uids, user reports, development miniblog