-<p>My main computer is a
-soon-to-be-<a href="https://libreboot.org">librebooted</a>
-ThinkPad X200. This is the machine I use the most in or out the
-house. I also own and occasionally use a Dell XPS 15 more as a
-“Desktop”, and a ThinkPad X220T tablet I use when reading
-(and annotating) research papers.</p>
+<p>My main computer is a <a href="//libreboot.org">librebooted</a>
+ThinkPad X200, and is the machine I use the most. I also own a
+ThinkPad X220T tablet that I occasionally use for reading and
+annotating research papers, and a Dell XPS 15 I use every now and
+again more as a “desktop”.</p>