I have a new camera that I want to shoot at an exposure index of 800, that being the highest film speed setting on the camera. Ordinarily when I want speed I shoot tri-x at about 1250 and develop with Diafine, but 800 is too much exposure for using Diafine and the negs get pretty dense and I think finer-grained results could be had by pushing to 800 with a regular developer. The regular developer I'm using right now is D23; can D23 be used to push film ok? I don't know if it's bad for pushing because it has no hydroquinone in it or something. For a 1-to-2-stop push, should I start with 25% more development time or so?