Comment by @teinolophos • Hey

Done.