A tiny app to record any internet stream