A single HTML file mobile “app” for tracking and publishing pushups