Yes. The pencil sharpener removes the last 2.5cm of the pencil lead anyway, so why not just use a pencil extender? This seems like an overengineered solution lo

Yes. The pencil sharpener removes the last 2.5cm of the pencil lead anyway, so why not just use a pencil extender? This seems like an overengineered solution looking for a problem. You're using a really classy extender, but one of those $0.10 plastic pencil caps would work as well.