Documentation and issue tracking for tilde.red