TODO-list migrated to GitHub Issues page