proxy-defpager for all users?

[Samuel Thibault]

Hello,

proxy-defpager is typically set on /servers/default-pager, but its
permissions are by default 644, which makes it unusable by normal users,
it'd need to be 755 (see the x check in the defpager source).

Apart from allowing users to eat memory, which they currently already
can do anyway, is there any downside to making this 755 so people can
mount their own tmpfs?

Samuel