feedback.with.ids boolean
feedback.with.ids Toggle use of IDs in feedback

## Description

If `feedback.with.ids` is non-zero, the ID of the current page will be added to the feedback link. This can be used, for example, if the `feedback.href` is a CGI script.