official extension definitively should do. no need to adjust whole code style right now, we can merge that and I can do it later.