Essential modding tool from the (in)famous Mr.Stalin. The code is pretty horrible to contribute to, but the tool itself with a few fixes is the best so far for PRO editing. The biggest issue is it doesn't yet support editing any other PRO types except items and critters. But those are usually simple enough to edit manually with Hex Editor.