Entrada de mantenimiento

Hace meses que no escribo porque no he tenido nada relevante que escribir. Esta entrada es sólo para no dejar el blog abandonado otra vez, y para recopilar las pequeñas cosas que he ido viendo pero que, a mi entender, no merecen una entrada propia.