 send a PR!
		If you feel you have the skills to improve this terrible UI please feel free to
		contribute too!

		<p></p>
		<div class="section">Filters</div>
		<div>
			<!-- Doing layout with tables! Someone stop me, please! -->
			<table>
				<tr style="vertical-align: top">
					<td>
						<!-- Hardcoded at the moment; should generate from the data we have -->
						<label>Source:&nbsp;</label><br/>
						<input type="checkbox" id="src-cpp" name="src-cpp" value="c++"/>
						<label for="src-cpp">c++</la