Show PR Number

At least a setting to prefix PR’s by number. This is a much easier identifier than reading PR titles which in today’s era is often AI generated and not easily identifiable or memorable.