Other comments on https://lobste.rs/s/u0mrjp/from_where_i_left