An offline issue browser for GitHub