Select the types of activity you want to include in your feed.
1<p>Servo crashed!</p> 2 3<!-- NOTE: unlike in Firefox and Chrome, this reloads POST as GET --> 4<!-- see whatwg/html#6600 + whatwg/html#3215 --> 5<button onclick="location.reload()">Reload</button> 6 7<pre><plaintext> 8${details}